On the revision problem of specification automata.

Kangjin Kim Georgios E. Fainekos Sriram Sankaranarayanan

Published in: ICRA (2012)

Keyphrases

belief revision
probabilistic automata
cellular automata
finite state
formal languages
specification language
finite automata
machine learning
knowledge base
belief change
formal language
social networks
high level
markov decision processes
operational semantics
tree automata