Synchronized CTL over One-Counter Automata.
Shaull AlmagorDaniel AssaUdi BokerPublished in: CoRR (2023)
Keyphrases
- model checking
- temporal logic
- finite state machines
- finite state
- timed automata
- automata theoretic
- computation tree logic
- cellular automata
- bounded model checking
- temporal properties
- regular expressions
- finite automata
- probabilistic automata
- formal specification
- linear temporal logic
- neural network
- formal verification
- tree automata
- finite state automata
- symbolic model checking
- lattice gas
- alternating time temporal logic
- transition systems
- epistemic logic
- formal methods
- reinforcement learning
- learning algorithm
- information retrieval
- data sets
- real time