Kaushik Mallik

According to our database, Kaushik Mallik authored at least 31 papers between 2016 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Auction-Based Scheduling.

Guy Avni, Kaushik Mallik, Suman Sadhukhan

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2024

Abstraction-Based Decision Making for Statistical Properties (Invited Talk).

Filip Cano, Thomas A. Henzinger, Bettina Könighofer, Konstantin Kueffner, Kaushik Mallik

Proceedings of the 9th International Conference on Formal Structures for Computation and Deduction, 2024

Bidding Games with Charging.

Guy Avni, Ehsan Kafshdar Goharshady, Thomas A. Henzinger, Kaushik Mallik

Proceedings of the 35th International Conference on Concurrency Theory, 2024

2023

Fast Symbolic Algorithms for Omega-Regular Games under Strong Transition Fairness.

Tamajit Banerjee, Rupak Majumdar, Kaushik Mallik, Anne-Kathrin Schmuck, Sadegh Soudjani

TheoretiCS, 2023

Computing Adequately Permissive Assumptions for Synthesis.

Ashwani Anand, Kaushik Mallik, Satya Prakash Nayak, Anne-Kathrin Schmuck

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2023

Monitoring Algorithmic Fairness Under Partial Observations.

Thomas A. Henzinger, Konstantin Kueffner, Kaushik Mallik

Proceedings of the Runtime Verification - 23rd International Conference, 2023

Poster Abstract: A Toolchain for Accelerated Symbolic Control.

Rupak Majumdar, Kaushik Mallik, Mateusz Rychlicki, Anne-Kathrin Schmuck, Sadegh Soudjani

Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control, 2023

Runtime Monitoring of Dynamic Fairness Properties.

Thomas A. Henzinger, Mahyar Karimi, Konstantin Kueffner, Kaushik Mallik

Proceedings of the 2023 ACM Conference on Fairness, Accountability, and Transparency, 2023

A Flexible Toolchain for Symbolic Rabin Games under Fair and Stochastic Uncertainties.

Rupak Majumdar, Kaushik Mallik, Mateusz Rychlicki, Anne-Kathrin Schmuck, Sadegh Soudjani

Proceedings of the Computer Aided Verification - 35th International Conference, 2023

Monitoring Algorithmic Fairness.

Thomas A. Henzinger, Mahyar Karimi, Konstantin Kueffner, Kaushik Mallik

Proceedings of the Computer Aided Verification - 35th International Conference, 2023

2022

Pushing the Barriers in Controller Synthesis for Cyber-Physical Systems.

Kaushik Mallik

PhD thesis, 2022

A Direct Symbolic Algorithm for Solving Stochastic Rabin Games.

Tamajit Banerjee, Rupak Majumdar, Kaushik Mallik, Anne-Kathrin Schmuck, Sadegh Soudjani

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2022

BOCoSy: Small but Powerful Symbolic Output-Feedback Control.

Bernd Finkbeiner, Kaushik Mallik, Noemi Passing, Malte Schledjewski, Anne-Kathrin Schmuck

Proceedings of the HSCC '22: 25th ACM International Conference on Hybrid Systems: Computation and Control, Milan, Italy, May 4, 2022

2021

Symbolic Control for Stochastic Systems via Parity Games.

Rupak Majumdar, Kaushik Mallik, Anne-Kathrin Schmuck, Sadegh Soudjani

CoRR, 2021

Symbolic reach-avoid control of multi-agent systems.

Rupak Majumdar, Kaushik Mallik, Mahmoud Salamati, Sadegh Soudjani, Mehrdad Zareian

Proceedings of the ICCPS '21: ACM/IEEE 12th International Conference on Cyber-Physical Systems, 2021

ARCH-COMP21 Category Report: Stochastic Models.

Alessandro Abate, Henk A. P. Blom, Marc Bouissou, Nathalie Cauchi, Hassane Chraibi, Joanna Delicaris, Sofie Haesaert, Arnd Hartmanns, Mahmoud Khaled, Abolfazl Lavaei, Hao Ma, Kaushik Mallik, Mathis Niehage, Anne Remke, Stefan Schupp, Fedor Shmarov, Sadegh Soudjani, Adam J. Thorpe, Vlad Turcuman, Paolo Zuliani

Proceedings of the 8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21), 2021

Symbolic Qualitative Control for Stochastic Systems via Finite Parity Games.

Rupak Majumdar, Kaushik Mallik, Anne-Kathrin Schmuck, Sadegh Soudjani

Proceedings of the 7th IFAC Conference on Analysis and Design of Hybrid Systems, 2021

2020

Assume-Guarantee Distributed Synthesis.

Rupak Majumdar, Kaushik Mallik, Anne-Kathrin Schmuck, Damien Zufferey

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020

Accurate Abstractions for Controller Synthesis with Non-uniform Disturbances.

Yunjun Bai, Kaushik Mallik

Proceedings of the Formal Methods and Software Engineering, 2020

Symbolic controller synthesis for Büchi specifications on stochastic systems.

Rupak Majumdar, Kaushik Mallik, Sadegh Soudjani

Proceedings of the HSCC '20: 23rd ACM International Conference on Hybrid Systems: Computation and Control, 2020

Resilient Abstraction-Based Controller Design.

Stanly Samuel, Kaushik Mallik, Anne-Kathrin Schmuck, Daniel Neider

Proceedings of the 59th IEEE Conference on Decision and Control, 2020

2019

Compositional Synthesis of Finite-State Abstractions.

Kaushik Mallik, Anne-Kathrin Schmuck, Sadegh Soudjani, Rupak Majumdar

IEEE Trans. Autom. Control., 2019

Incremental Abstraction Computation for Symbolic Controller Synthesis in a Changing Environment.

Yunjun Bai, Kaushik Mallik, Anne-Kathrin Schmuck, Damien Zufferey, Rupak Majumdar

Proceedings of the 58th IEEE Conference on Decision and Control, 2019

Lazy Abstraction-Based Controller Synthesis.

Kyle Hsu, Rupak Majumdar, Kaushik Mallik, Anne-Kathrin Schmuck

Proceedings of the Automated Technology for Verification and Analysis, 2019

2018

Lazy Abstraction-Based Control for Reachability.

Kyle Hsu, Rupak Majumdar, Kaushik Mallik, Anne-Kathrin Schmuck

CoRR, 2018

Multi-Layered Abstraction-Based Controller Synthesis for Continuous-Time Systems.

Kyle Hsu, Rupak Majumdar, Kaushik Mallik, Anne-Kathrin Schmuck

Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week), 2018

Lazy Abstraction-Based Control for Safety Specifications.

Kyle Hsu, Rupak Majumdar, Kaushik Mallik, Anne-Kathrin Schmuck

Proceedings of the 57th IEEE Conference on Decision and Control, 2018

2017

Efficiency and Cost Optimized Design of an Induction Motor Using Genetic Algorithm.

Srikumar Mallik, Kaushik Mallik, Amal Barman, Dipten Maiti, Sujit K. Biswas, Nirmal K. Deb, Sujay Basu

IEEE Trans. Ind. Electron., 2017

Compositional construction of finite state abstractions for stochastic control systems.

Kaushik Mallik, Sadegh Esmaeil Zadeh Soudjani, Anne-Kathrin Schmuck, Rupak Majumdar

Proceedings of the 56th IEEE Annual Conference on Decision and Control, 2017

2016

Compositional Synthesis of Finite State Abstractions.

Rupak Majumdar, Kaushik Mallik, Anne-Kathrin Schmuck

CoRR, 2016

Supervisory controller synthesis for decomposable deterministic context free specification languages.

Kaushik Mallik, Anne-Kathrin Schmuck

Proceedings of the 13th International Workshop on Discrete Event Systems, 2016