CIRCA domain files

rr-cross.lisp [Download lisp file]

The standard Railroad Crossing test problem.

time-out.lisp [Download lisp file]

Simple scenario illustrating TA model-checking

ucav.lisp [Download lisp file]

Scenarios concerning Uninhabited Aerial Vehicles

trans.lisp [Download lisp file]

Master transition file

rt-trans.lisp [Download lisp file]

Domain that tests reliable temporal transitions