Formal Proofs for Automata and Sticker Systems.

Hisaharu Tanaka Issei Sakashita Shuichi Inokuchi Yoshihiro Mizoguchi

Published in: CANDAR (2013)

Keyphrases

formal proofs
complex systems
management system
data sets
intelligent systems
retrieval systems
knowledge base
multi agent
information technology
embedded systems
finite state machines