| Efficiency and cost optimized design of an induction motor using genetic algorithm S Mallik, K Mallik, A Barman, D Maiti, SK Biswas, NK Deb, S Basu IEEE Transactions on Industrial Electronics 64 (12), 9854-9863, 2017 | 91 | 2017 |
| Multi-Layered Abstraction-Based Controller Synthesis for Continuous-Time Systems K Hsu, R Majumdar, K Mallik, AK Schmuck HSCC '18, 120--129, 2018 | 84 | 2018 |
| Compositional abstraction-based controller synthesis for continuous-time systems K Mallik, AK Schmuck, S Soudjani, R Majumdar IEEE Transactions on Automatic Control, 2018, 2018 | 77* | 2018 |
| Symbolic Controller Synthesis for Büchi Specifications on Stochastic Systems R Majumdar, K Mallik, S Soudjani arXiv preprint arXiv:1910.12137, 2019 | 49 | 2019 |
| Runtime Monitoring of Dynamic Fairness Properties T Henzinger, M Karimi, K Kueffner, K Mallik Proceedings of the 2023 ACM Conference on Fairness, Accountability, and …, 2023 | 32 | 2023 |
| Assume–Guarantee Distributed Synthesis R Majumdar, K Mallik, AK Schmuck, D Zufferey IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2020 | 28 | 2020 |
| 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 | 27 | 2018 |
| Monitoring algorithmic fairness TA Henzinger, M Karimi, K Kueffner, K Mallik International Conference on Computer Aided Verification, 358-382, 2023 | 24 | 2023 |
| 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 | 23 | 2023 |
| 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 | 22 | 2021 |
| Symbolic control for stochastic systems via finite parity games R Majumdar, K Mallik, AK Schmuck, S Soudjani Nonlinear Analysis: Hybrid Systems 51, 101430, 2024 | 19* | 2024 |
| Fast symbolic algorithms for omega-regular games under strong transition fairness T Banerjee, R Majumdar, K Mallik, AK Schmuck, S Soudjani TheoretiCS 2, 2023 | 18 | 2023 |
| Resilient abstraction-based controller design S Samuel, K Mallik, AK Schmuck, D Neider 2020 59th IEEE Conference on Decision and Control (CDC), 2123-2129, 2020 | 16 | 2020 |
| Compositional Construction of Finite State Abstractions for Stochastic Control Systems K Mallik, SEZ Soudjani, AK Schmuck, R Majumdar CDC 2017, 550-557, 2017 | 16 | 2017 |
| 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 |
| A Flexible Toolchain for Symbolic Rabin Games under Fair and Stochastic Uncertainties R Majumdar, K Mallik, M Rychlicki, AK Schmuck, S Soudjani International Conference on Computer Aided Verification, 3-15, 2023 | 10 | 2023 |
| Monitoring algorithmic fairness under partial observations TA Henzinger, K Kueffner, K Mallik International Conference on Runtime Verification, 291-311, 2023 | 9 | 2023 |
| Symbolic reach-avoid control of multi-agent systems R Majumdar, K Mallik, M Salamati, S Soudjani, M Zareian Proceedings of the ACM/IEEE 12th International Conference on Cyber-Physical …, 2021 | 8 | 2021 |
| Incremental Abstraction Computation for Symbolic Controller Synthesis in a Changing Environment Y Bai, K Mallik, AK Schmuck, D Zufferey, R Majumdar 2019 IEEE 58th Conference on Decision and Control (CDC), 6261-6268, 2019 | 8 | 2019 |
| Lazy Abstraction-Based Control for Reachability K Hsu, R Majumdar, K Mallik, AK Schmuck arXiv preprint arXiv:1804.02722, 2018 | 8 | 2018 |
Anne-Kathrin SchmuckMPI SWSVerified email at mpi-sws.org
