A Fragment of Linear Temporal Logic for Universal Very Weak Automata.

Keerthi Adabala Rüdiger Ehlers

Published in: ATVA (2018)

Keyphrases

linear temporal logic
temporal logic
automata theoretic
model checking
turing machine
bounded model checking
deterministic automata
concurrent systems
modal logic
finite state
transition systems
cellular automata
model checker
finite automata
reinforcement learning
formal specification
optimal solution