On the minimal revision problem of specification automata.
Kangjin KimGeorgios FainekosSriram SankaranarayananPublished in: Int. J. Robotics Res. (2015)
Keyphrases
- cellular automata
- high level
- formal languages
- finite automata
- database
- probabilistic automata
- finite state
- information retrieval
- knowledge base
- logic programs
- belief revision
- finite state machines
- lattice gas
- provably correct
- belief update
- context free
- formal verification
- belief change
- formal specification
- regular expressions
- domain knowledge
- case study
- artificial intelligence
- data sets