A Flexible Approach for Checking Timed Automata on Continuous Time Semantics.

Claudio Menghi Marcello M. Bersani Matteo Rossi Pierluigi San Pietro

Published in: CoRR (2018)

Keyphrases

timed automata
model checking
reachability analysis
markov chain
theorem prover
formal semantics
first order logic
lightweight
semantic information
theorem proving
markov processes
logic programming
dynamical systems
state space
knowledge representation
semantic representation
neural network
database