Safety verification of conflict resolution manoeuvres.

Claire J. Tomlin Ian Mitchell Ronojoy Ghosh

Published in: IEEE Trans. Intell. Transp. Syst. (2001)

Keyphrases

conflict resolution
resolve conflicts
resolving conflicts
safety analysis
extended logic programs
model checking
collaborative design
formal methods
access control policies
exception handling
databases
safety critical
object oriented
decision makers