Automaton-Based Criteria for Membership in CTL.

Udi Boker Yariv Shaulian

Published in: LICS (2018)

Keyphrases

temporal logic
model checking
computation tree logic
finite state automata
selection criteria
finite automata
database
data sets
evaluation criteria
multiple criteria
deterministic finite automaton
information systems
knowledge base
temporal properties
deterministic finite automata
hybrid automata