Old Web
English
Sign In
Acemap
>
authorDetail
>
Khalil Ghorbal
Khalil Ghorbal
Carnegie Mellon University
Control theory
Automated theorem proving
Actuator
Formal verification
Liveness
2
Papers
0
Citations
0
KQI
Citation Trend
Filter By
Interval:
1900~2024
1900
2024
Author
Papers (2)
Sort By
Default
Most Recent
Most Early
Most Citation
No data
Journal
Conference
Others
Formal Verification of Obstacle Avoidance and Navigation of Ground Robots.
2016
arXiv: Systems and Control
Stefan Mitsch
Khalil Ghorbal
David Vogelbacher
André Platzer
Show All
Source
Cite
Save
Citations (0)
Formal verification of ACAS X, an industrial airborne collision avoidance system
2015
| International Conference on Embedded Software
Jean-Baptiste Jeannin
Khalil Ghorbal
Yanni Kouskoulas
Ryan Gardner
Aurora Schmidt
Erik Zawadzki
André Platzer
Show All
Source
Cite
Save
Citations (0)
1