Kaushik Mallik
Identifiers
- name variant Kaushik Mallik 0.60 · backfill
Papers (6)
- Decoupled Planning for Multiple Omega-Regular Objectives cs.FL · 2026 · author #3
- Auction-Based Online Policy Adaptation for Evolving Objectives cs.LG · 2026 · author #2
- Lazy Abstraction-Based Controller Synthesis eess.SY · 2018 · author #3
- Lazy Abstraction-Based Control for Safety Specifications cs.SY · 2018 · author #3
- Compositional Construction of Finite State Abstractions for Stochastic Control Systems cs.SY · 2017 · author #1
- 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