Author:Houssam Abbas

Publications
An Autonomous Vehicle Control Stack Alena Rodionova, Matthew O'Kelly, Houssam Abbas, Vincent Pacelli and Rahul Mangharam In:ARCH17. 4th International Workshop on Applied Verification of Continuous and Hybrid Systems
Nonlinear Hybrid Automata Model of Excitable Cardiac Tissue Houssam Abbas, Kuk Jin Jang and Rahul Mangharam In:ARCH16. 3rd International Workshop on Applied Verification for Continuous and Hybrid Systems
Using S-TaLiRo on Industrial Size Automotive Models Bardh Hoxha, Houssam Abbas and Georgios Fainekos In:ARCH14-15. 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems
Benchmarks for Temporal Logic Requirements for Automotive Systems Bardh Hoxha, Houssam Abbas and Georgios Fainekos In:ARCH14-15. 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems

Keyphrases

Automotive², autonomous vehicle, Behavioral Planner, benchmark³, biological systems, Cardiac devices, Control Stack, cost map, falsification, Heart Modeling, Industrial, MATLAB², Nonlinear Hybrid Automata, S-Taliro, Simulink, Stateflow, temporal logic, tools, trajectory planner, Trajectory Tracker.