Timed Automata with Disjoint Activity.

Marco Muñiz Bernd Westphal Andreas Podelski

Published in: FORMATS (2012)

Keyphrases

timed automata
model checking
reachability analysis
theorem prover
theorem proving
multiscale
pairwise
first order logic
temporal logic
real time systems
databases
multi agent systems
artificial neural networks
probabilistic model
human activities
group activities