Optimizing the Door Assignment in LTL-Terminals.

Annette Chmielewski Boris Naujoks Michael Janas Uwe Clausen

Published in: Transp. Sci. (2009)

Keyphrases

temporal logic
model checking
linear temporal logic
deterministic automata
bounded model checking
databases
communication systems
database
real time
artificial intelligence
website
clustering algorithm
finite automata