Compositional Verification of Finite Automata under Event Preemption.

Yiheng Tang Thomas Moor

Published in: CDC (2021)

Keyphrases

finite automata
regular expressions
grammatical inference
probabilistic automata
deterministic automata
event detection
model checking
tree automata
regular languages
parallel machines
data mining
data analysis
object oriented