Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by J. Lygeros
Randomized Algorithms for Probabilistic Aircraft Conflict Detection
On the Existence of Executions of Hybrid Automata
