Follow
Kaushik Mallik
Title
Cited by
Cited by
Year
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
692017
Multi-Layered Abstraction-Based Controller Synthesis for Continuous-Time Systems
K Hsu, R Majumdar, K Mallik, AK Schmuck
HSCC '18, 120--129, 2018
662018
Compositional abstraction-based controller synthesis for continuous-time systems
K Mallik, AK Schmuck, S Soudjani, R Majumdar
IEEE Transactions on Automatic Control, 2018, 2018
62*2018
Symbolic Controller Synthesis for Büchi Specifications on Stochastic Systems
R Majumdar, K Mallik, S Soudjani
arXiv preprint arXiv:1910.12137, 2019
422019
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
192018
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
182021
Assume–Guarantee Distributed Synthesis
R Majumdar, K Mallik, AK Schmuck, D Zufferey
IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2020
182020
Compositional Construction of Finite State Abstractions for Stochastic Control Systems
K Mallik, SEZ Soudjani, AK Schmuck, R Majumdar
CDC 2017, 550-557, 2017
142017
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
132020
Symbolic control for stochastic systems via finite parity games
R Majumdar, K Mallik, AK Schmuck, S Soudjani
Nonlinear Analysis: Hybrid Systems 51, 101430, 2024
10*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
102023
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
102022
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
102021
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
82023
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
62023
Lazy Abstraction-Based Control for Reachability
K Hsu, R Majumdar, K Mallik, AK Schmuck
arXiv preprint arXiv:1804.02722, 2018
62018
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
52019
Lazy abstraction-based controller synthesis
K Hsu, R Majumdar, K Mallik, AK Schmuck
Automated Technology for Verification and Analysis: 17th International …, 2019
52019
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
42021
Accurate Abstractions for Controller Synthesis with Non-uniform Disturbances
Y Bai, K Mallik
42019
The system can't perform the operation now. Try again later.
Articles 1–20