Sampled Semantics of Timed Automata

Parosh Aziz Abdulla Pavel Krcál Wang Yi

Published in: Log. Methods Comput. Sci. (2010)

Keyphrases

timed automata
model checking
reachability analysis
formal semantics
theorem prover
theorem proving
logic programming
semantic representation
first order logic
conceptual model
neural network
website
query language
software development
social networks
argumentation semantics
data sets