HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

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

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

Copyright © 2012-2025 easychair.org. All rights reserved.