Compositional Synthesis of Finite-State Abstractions.

Kaushik Mallik Anne-Kathrin Schmuck Sadegh Soudjani Rupak Majumdar

Published in: IEEE Trans. Autom. Control. (2019)

Keyphrases

finite state
markov chain
markov decision processes
model checking
optimal policy
vector quantizer
context free
transition systems
temporal logic
tree automata
information retrieval
multi agent
average cost
action sets
continuous time bayesian networks