César Muñoz's Old Projects
- A4O: Spacecraft Autonomy and AI Planning.
- APPL: Abstract Plan Preparation Language.
- AILS:
Formal verification of the Airborne Information for Lateral Spacing
alerting algorithm.
- AirSTAR: Formal verification of
a distributed communication protocol.
- EOO:
Safety Analysis of the ITP concept for Enhanced Oceanic Operations.
- PLEXIL: Formal semantics of the PLan Execution Interchange Language.
- SATS:
Formal Analysis of the Small Aircraft Transportation Systems
operational concept.
The tag
![[*]](/images/exlink.gif)
identifies links that are outside
the NASA domain
