- Record: found
- Abstract: not found
- Article: not found
Conflict resolution for air traffic management: a study in multiagent hybrid systems
Read this article at
There is no author summary for this article yet. Authors can add summaries to their articles on ScienceOpen to make them more accessible to a non-specialist audience.
Abstract
Related collections
Most cited references16
- Record: found
- Abstract: not found
- Book: not found
Temporal Verification of Reactive Systems
Zohar Manna, Amir Pnueli (1995)
- Record: found
- Abstract: not found
- Conference Proceedings: not found
The theory of hybrid automata
T.A. Henzinger (2024)
- Record: found
- Abstract: not found
- Book Chapter: not found
Hybrid Models for Motion Control Systems
R. Brockett (1993)