Fast Symbolic Algorithms for Omega-Regular Games under Strong Transition Fairness by Tamajit Banerjee, Rupak Majumdar, Kaushik Mallik, Anne-Kathrin Schmuck, Sadegh Soudjani

Get full text

Compositional Reinforcement Learning for Discrete-Time Stochastic Control Systems by Abolfazl Lavaei, Mateo Perez, Milad Kazemi, Fabio Somenzi, Sadegh Soudjani, Ashutosh Trivedi, Majid Zamani

Get full text

Automated Synthesis of Safe Digital Controllers for Sampled-Data Stochastic Nonlinear Systems by Fedor Shmarov, Sadegh Soudjani, Nicola Paoletti, Ezio Bartocci, Shan Lin, Scott A. Smolka, Paolo Zuliani

Get full text