Compositional non-blockingness verification of finite automata with prioritised events.

Yiheng Tang Thomas Moor

Published in: Discret. Event Dyn. Syst. (2024)

Keyphrases

finite automata
probabilistic automata
deterministic automata
regular expressions
grammatical inference
event detection
finite automaton
model checking
tree automata
databases
hidden markov models
regular languages