Provably correct conflict prevention bands algorithms

DOI10.1016/J.SCICO.2011.07.002zbMATH Open1243.68153OpenAlexW2136863563MaRDI QIDQ436402FDOQ436402

Authors: Anthony Narkawicz, Gilles Dowek, César Muñoz 

Publication date: 20 July 2012

Published in: Science of Computer Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.scico.2011.07.002

Recommendations

• Formal Verification of an Optimal Air Traffic Conflict Resolution and Recovery Algorithm
• scientific article; zbMATH DE number 1852171
• Conflict Probability Estimation for Free Flight
• Conflict resolution for air traffic management: a study in multiagent hybrid systems
• Conflict avoidance: \(0-1\) linear models for conflict detection \& resolution

zbMATH Keywords

theorem provingformal verificationair traffic management

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60) Traffic problems in operations research (90B20)

Cites Work

• Title not available (Why is that?)

Cited In (6)

• Title not available (Why is that?)
• Formal testing for separation assurance
• Formal Verification of an Optimal Air Traffic Conflict Resolution and Recovery Algorithm
• Affine Arithmetic and Applications to Real-Number Proving
• Internal Conflict-Free Projection Sets
• Formalization of real analysis: a survey of proof assistants and libraries

Uses Software

• PVS

This page was built for publication: Provably correct conflict prevention bands algorithms

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q436402)