Sign in
Generating In-Line Monitors for Rabin Automata.
Hugues Chabot
Raphaël Khoury
Nadia Tawbi
Published in:
NordSec (2009)
Keyphrases
</>
cellular automata
line segments
database
similarity measure
probabilistic automata
multi agent
line drawings
finite state machines
finite state
generation process
finite automata