On the Minimal Revision Problem of Specification Automata.

Kangjin Kim Georgios Fainekos Sriram Sankaranarayanan

Published in: CoRR (2014)

Keyphrases

formal languages
cellular automata
belief revision
high level
finite state machines
finite automata
revision operators
neural network
artificial intelligence
knowledge base
hidden markov models
regular expressions
finite state
formal methods
specification language