Kaushik Mallik

Identifiers

• name variant Kaushik Mallik 0.60 · backfill

Papers (6)

1. Decoupled Planning for Multiple Omega-Regular Objectives cs.FL · 2026 · author #3
2. Auction-Based Online Policy Adaptation for Evolving Objectives cs.LG · 2026 · author #2
3. Lazy Abstraction-Based Controller Synthesis eess.SY · 2018 · author #3
4. Lazy Abstraction-Based Control for Safety Specifications cs.SY · 2018 · author #3
5. Compositional Construction of Finite State Abstractions for Stochastic Control Systems cs.SY · 2017 · author #1
6. Compositional Abstraction-Based Controller Synthesis for Continuous-Time Systems cs.SY · 2016 · author #1

Mentions

• 1804.02722 #3 · arxiv_oai · confidence 0.70 Kaushik Mallik
• 1804.02666 #3 · arxiv_oai · confidence 0.70 Kaushik Mallik
• 1709.09546 #1 · arxiv_oai · confidence 0.70 Kaushik Mallik
• 1612.08515 #1 · arxiv_oai · confidence 0.70 Kaushik Mallik

Frequent Coauthors

• Anne-Kathrin Schmuck 4 shared papers
• Rupak Majumdar 4 shared papers
• Kyle Hsu 2 shared papers
• Guruprerana Shabadi 1 shared papers
• Guy Avni 1 shared papers
• K. S. Thejaswini 1 shared papers
• Sadegh Esmaeil Zadeh Soudjani 1 shared papers
• Sadegh Soudjani 1 shared papers
• Suman Sadhukhan 1 shared papers
• Thomas A. Henzinger 1 shared papers