Classes of Timed Automata and the Undecidability of Universality.

Arnaldo V. Moura Guilherme A. Pinto

Published in: Fundam. Informaticae (2008)

Keyphrases

timed automata
model checking
reachability analysis
description logics
temporal logic
theorem prover
information retrieval
class labels
first order logic