| Multi-layered abstraction-based controller synthesis for continuous-time systems K Hsu, R Majumdar, K Mallik, AK Schmuck Proceedings of the 21st International Conference on Hybrid Systems …, 2018 | 77 | 2018 |
| Compositional synthesis of finite-state abstractions K Mallik, AK Schmuck, S Soudjani, R Majumdar IEEE Transactions on Automatic Control 64 (6), 2629-2636, 2018 | 66* | 2018 |
| On abstraction-based controller design with output feedback R Majumdar, N Ozay, AK Schmuck Proceedings of the 23rd International Conference on Hybrid Systems …, 2020 | 40 | 2020 |
| On the relation between reactive synthesis and supervisory control of non-terminating processes AK Schmuck, T Moor, R Majumdar Discrete Event Dynamic Systems 30 (1), 81-124, 2020 | 28 | 2020 |
| Environmentally-friendly GR (1) synthesis R Majumdar, N Piterman, AK Schmuck International conference on tools and algorithms for the construction and …, 2019 | 26 | 2019 |
| Lazy abstraction-based control for safety specifications K Hsu, R Majumdar, K Mallik, AK Schmuck 2018 IEEE Conference on Decision and Control (CDC), 4902-4907, 2018 | 25 | 2018 |
| Asynchronous l-complete approximations AK Schmuck, J Raisch Systems & Control Letters 73, 67-75, 2014 | 23 | 2014 |
| Assume–guarantee distributed synthesis R Majumdar, K Mallik, AK Schmuck, D Zufferey IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2020 | 22 | 2020 |
| Comparing asynchronous l-complete approximations and quotient based abstractions AK Schmuck, P Tabuada, J Raisch 2015 54th IEEE Conference on Decision and Control (CDC), 6823-6829, 2015 | 20 | 2015 |
| Symbolic qualitative control for stochastic systems via finite parity games R Majumdar, K Mallik, AK Schmuck, S Soudjani IFAC-PapersOnLine 54 (5), 127-132, 2021 | 19 | 2021 |
| PGCD: robot programming and verification with geometry, concurrency, and dynamics GB Banusić, R Majumdar, M Pirron, AK Schmuck, D Zufferey Proceedings of the 10th ACM/IEEE International Conference on Cyber-Physical …, 2019 | 18 | 2019 |
| Resilient abstraction-based controller design S Samuel, K Mallik, AK Schmuck, D Neider Proceedings of the 23rd International Conference on Hybrid Systems …, 2020 | 17 | 2020 |
| Computing adequately permissive assumptions for synthesis A Anand, K Mallik, SP Nayak, AK Schmuck International Conference on Tools and Algorithms for the Construction and …, 2023 | 15 | 2023 |
| Compositional construction of finite state abstractions for stochastic control systems K Mallik, SEZ Soudjani, AK Schmuck, R Majumdar 2017 IEEE 56th Annual Conference on Decision and Control (CDC), 550-557, 2017 | 15 | 2017 |
| Distributed Kalman filter algorithms for self-localization of mobile devices AK Hess, A Rantzer Proceedings of the 13th ACM international conference on Hybrid systems …, 2010 | 15 | 2010 |
| Symbolic control for stochastic systems via finite parity games R Majumdar, K Mallik, AK Schmuck, S Soudjani Nonlinear Analysis: Hybrid Systems 51, 101430, 2024 | 14* | 2024 |
| Synthesizing permissive winning strategy templates for parity games A Anand, SP Nayak, AK Schmuck International Conference on Computer Aided Verification, 436-458, 2023 | 14 | 2023 |
| A direct symbolic algorithm for solving stochastic Rabin games T Banerjee, R Majumdar, K Mallik, AK Schmuck, S Soudjani International Conference on Tools and Algorithms for the Construction and …, 2022 | 13 | 2022 |
| Fast symbolic algorithms for omega-regular games under strong transition fairness T Banerjee, R Majumdar, K Mallik, AK Schmuck, S Soudjani TheoretiCS 2, 2023 | 12 | 2023 |
| Supervisory controller synthesis for nonterminating processes is an obliging game R Majumdar, AK Schmuck IEEE Transactions on Automatic Control 68 (1), 385-392, 2022 | 8 | 2022 |
Rupak MajumdarMPI for Software SystemsEmail verificata su mpi-sws.org
