Consistency Checks of System Properties Using LTL and Büchi Automata.

Salamah Salamah Matthew Engskow Omar Ochoa

Published in: SEKE (2012)

Keyphrases

consistency checks
deterministic automata
cellular automata
machine learning
information systems
finite automata
bayesian networks
text categorization
model checking
temporal logic
finite state
topological properties
probabilistic automata