Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Houssam Abbas
Fly-By-Logic: A Tool for Unmanned Aircraft System Fleet Planning Using Temporal Logic
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Computer-Aided Design for Safe Autonomous Vehicles
Nonlinear Hybrid Automata Model of Excitable Cardiac Tissue
