Determinisability of register and timed automata.

Lorenzo Clemente Slawomir Lasota Radoslaw Piórkowski

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

Keyphrases

timed automata
model checking
reachability analysis
theorem prover
first order logic
theorem proving
real time systems
temporal logic
artificial intelligence
real time
knowledge base
three dimensional
image sequences
reinforcement learning
natural language
single image