Skip to content

On the formal verification of the TCAS conflict resolution algorithms

Semantic Scholar · Article (Proceedings of the 36th IEEE Conference on Decision and Control) · de9b4838e7a0ed37bda40aee9c13ed9bff180d3f · Published 1997-12-10 · Proceedings of the 36th IEEE Conference on Decision and Control · 2 authors

View on Semantic Scholar ↗

Abstract and citation only, verbatim from Semantic Scholar; full text lives there. All credit to the authors and Proceedings of the 36th IEEE Conference on Decision and Control.

Authors

  • John Lygeros
  • N. Lynch

Keywords

  • Engineering
  • Computer Science

Citation

John Lygeros, N. Lynch (1997). On the formal verification of the TCAS conflict resolution algorithms. Proceedings of the 36th IEEE Conference on Decision and Control. Semantic Scholar ID de9b4838e7a0ed37bda40aee9c13ed9bff180d3f. https://doi.org/10.1109/CDC.1997.657846 ↗