| 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 | 71 | 2017 |
| Multi-Layered Abstraction-Based Controller Synthesis for Continuous-Time Systems K Hsu, R Majumdar, K Mallik, AK Schmuck HSCC '18, 120--129, 2018 | 68 | 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 | 64* | 2018 |
| Symbolic Controller Synthesis for Büchi Specifications on Stochastic Systems R Majumdar, K Mallik, S Soudjani arXiv preprint arXiv:1910.12137, 2019 | 43 | 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 | 21 | 2018 |
| Assume–Guarantee Distributed Synthesis R Majumdar, K Mallik, AK Schmuck, D Zufferey IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2020 | 20 | 2020 |
| 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 |
| 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 | 15 | 2020 |
| Compositional Construction of Finite State Abstractions for Stochastic Control Systems K Mallik, SEZ Soudjani, AK Schmuck, R Majumdar CDC 2017, 550-557, 2017 | 14 | 2017 |
| Symbolic control for stochastic systems via finite parity games R Majumdar, K Mallik, AK Schmuck, S Soudjani Nonlinear Analysis: Hybrid Systems 51, 101430, 2024 | 11* | 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 | 11 | 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 | 10 | 2022 |
| ARCH-COMP21 Category Report: Stochastic Models A Abate, H Blom, M Bouissou, N Cauchi, H Chraibi, J Delicaris, ... 8th International Workshop on Applied Verification of Continuous and Hybrid …, 2021 | 10 | 2021 |
| 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 | 8 | 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 | 8 | 2023 |
| Lazy abstraction-based controller synthesis K Hsu, R Majumdar, K Mallik, AK Schmuck Automated Technology for Verification and Analysis: 17th International …, 2019 | 6 | 2019 |
| Lazy Abstraction-Based Control for Reachability K Hsu, R Majumdar, K Mallik, AK Schmuck arXiv preprint arXiv:1804.02722, 2018 | 6 | 2018 |
| 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 | 5 | 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 | 5 | 2019 |
| Monitoring algorithmic fairness TA Henzinger, M Karimi, K Kueffner, K Mallik International Conference on Computer Aided Verification, 358-382, 2023 | 4 | 2023 |
Anne-Kathrin SchmuckMPI SWS在 mpi-sws.org 的电子邮件经过验证
