Determinisability of register and timed automata.

Lorenzo Clemente Slawomir Lasota Radoslaw Piórkowski

Published in: CoRR (2021)

Keyphrases

timed automata
model checking
reachability analysis
theorem prover
theorem proving
real time systems
first order logic
image sequences
multiscale
pattern recognition
pairwise
probabilistic model
knowledge representation
ground truth