129 citations · 368 across the 70 of their papers we have counts for
Showing 2016Show all
2 papers · 1 filter
eess.SY2016★ 5 cited
Compositional Abstraction-Based Controller Synthesis for Continuous-Time Systems
Kaushik Mallik, Anne-Kathrin Schmuck, Sadegh Soudjani +1
Controller synthesis techniques for continuous systems with respect to temporal logic specifications typically use a finite-state symbolic abstraction of the system model. Construc…
eess.SY2016★ 1 cited
Verification of general Markov decision processes by approximate similarity relations and policy refinement
S. Haesaert, S. Esmaeil Zadeh Soudjani, A. Abate
In this work we introduce new approximate similarity relations that are shown to be key for policy (or control) synthesis over general Markov decision processes. The models of inte…