Symbolic Model Checking of Finite Precision Timed Automata.

Rongjie Yan Guangyuan Li Zhisong Tang

Published in: ICTAC (2005)

Keyphrases

model checking
symbolic model checking
timed automata
temporal logic
model checker
formal verification
finite state
conformant planning
formal specification
formal methods
artificial intelligence
planning domains
partial observability