Houssam Abbas

Probabilistic Temporal Logic Falsification of Cyber-Physical Systems

Houssam Abbas, Georgios Fainekos, Sriram Sankaranarayanan et al. · ACM Transactions on Embedded Computing Systems · 2013 · 155 citations

Engineering, Verification, Complex Systems +17

Smooth operator: Control using the smooth robustness of temporal logic

Yash Vardhan Pant, Houssam Abbas, Rahul Mangharam · 2017 IEEE Conference on Control Technology and Applications (CCTA) · 2017 · 144 citations

Engineering, Robust Control, Modern Control Systems +16

Benchmarks for Temporal Logic Requirements for Automotive Systems

Bardh Hoxha, Houssam Abbas, Georgios Fainekos · EPiC series in computing · 2018 · 98 citations · Full text

Engineering, Verification, Automatic Transmission Model +19

Fly-by-Logic: Control of Multi-Drone Fleets with Temporal Logic Objectives

Yash Vardhan Pant, Houssam Abbas, Rhudii A. Quaye et al. · 2018 · 94 citations

Trajectory Planning, Aerial Robotics, Engineering +13

F1/10: An Open-Source Autonomous Cyber-Physical Platform

Matthew O’Kelly, Varundev Sukhil, Houssam Abbas et al. · arXiv (Cornell University) · 2019 · 85 citations · Full text

Artificial Intelligence, Engineering, Advanced Driver-assistance System +18