Bounded DBM-based clock state construction for timed automata in Uppaal.

Sascha Lehmann Sibylle Schupp

Published in: Int. J. Softw. Tools Technol. Transf. (2023)

Keyphrases

timed automata
model checking
theorem prover
reachability analysis
high speed
real time
neural network
theorem proving
finite state machines
decision making
bayesian networks
natural language
artificial neural networks
social networks
power consumption
construction process
databases
data sets