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