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
Related publications
Probabilistic Conflict Detection for Robust Detection and Resolution
Conflict Resolution Algorithms for Fault Detection and Diagnosis
Formal Verification of Conflict Detection Algorithms
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Probabilistic Framework for Combining Tracking Algorithms
Probabilistic Methodology for Life Prediction of Aircraft Turbine Rotors
Polynomial Time Algorithms for Scheduling of Arrival Aircraft
Flow Faster: Efficient Decision Algorithms for Probabilistic Simulations
Logical Methods in Computer Science
Computer Science
Theoretical Computer Science
Axioms and Algorithms for Inferences Involving Probabilistic Independence
Information and Computation
Theoretical Computer Science
Computational Theory
Computer Science Applications
Information Systems
Mathematics
Flow Faster: Efficient Decision Algorithms for Probabilistic Simulations
