default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Kaushik Mallik
@inproceedings{DBLP:conf/concur/AvniGHM24,
author = {Guy Avni and
Ehsan Kafshdar Goharshady and
Thomas A. Henzinger and
Kaushik Mallik},
editor = {Rupak Majumdar and
Alexandra Silva},
title = {Bidding Games with Charging},
booktitle = {35th International Conference on Concurrency Theory, {CONCUR} 2024,
September 9-13, 2024, Calgary, Canada},
series = {LIPIcs},
volume = {311},
pages = {8:1--8:17},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2024},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2024.8},
doi = {10.4230/LIPICS.CONCUR.2024.8},
timestamp = {Fri, 30 Aug 2024 16:44:11 +0200},
biburl = {https://dblp.org/rec/conf/concur/AvniGHM24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fscd/CanoHKKM24,
author = {Filip Cano and
Thomas A. Henzinger and
Bettina K{\"{o}}nighofer and
Konstantin Kueffner and
Kaushik Mallik},
editor = {Jakob Rehof},
title = {Abstraction-Based Decision Making for Statistical Properties (Invited
Talk)},
booktitle = {9th International Conference on Formal Structures for Computation
and Deduction, {FSCD} 2024, July 10-13, 2024, Tallinn, Estonia},
series = {LIPIcs},
volume = {299},
pages = {2:1--2:17},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2024},
url = {https://doi.org/10.4230/LIPIcs.FSCD.2024.2},
doi = {10.4230/LIPICS.FSCD.2024.2},
timestamp = {Mon, 16 Sep 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fscd/CanoHKKM24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/AvniMS24,
author = {Guy Avni and
Kaushik Mallik and
Suman Sadhukhan},
editor = {Bernd Finkbeiner and
Laura Kov{\'{a}}cs},
title = {Auction-Based Scheduling},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 30th International Conference, {TACAS} 2024, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings,
Part {III}},
series = {Lecture Notes in Computer Science},
volume = {14572},
pages = {153--172},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-57256-2\_8},
doi = {10.1007/978-3-031-57256-2\_8},
timestamp = {Sat, 08 Jun 2024 13:13:56 +0200},
biburl = {https://dblp.org/rec/conf/tacas/AvniMS24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2407-06288,
author = {Guy Avni and
Ehsan Kafshdar Goharshady and
Thomas A. Henzinger and
Kaushik Mallik},
title = {Bidding Games with Charging},
journal = {CoRR},
volume = {abs/2407.06288},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2407.06288},
doi = {10.48550/ARXIV.2407.06288},
eprinttype = {arXiv},
eprint = {2407.06288},
timestamp = {Mon, 12 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2407-06288.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/theoretics/BanerjeeMMSS23,
author = {Tamajit Banerjee and
Rupak Majumdar and
Kaushik Mallik and
Anne{-}Kathrin Schmuck and
Sadegh Soudjani},
title = {Fast Symbolic Algorithms for Omega-Regular Games under Strong Transition
Fairness},
journal = {TheoretiCS},
volume = {2},
year = {2023},
url = {https://doi.org/10.46298/theoretics.23.4},
doi = {10.46298/THEORETICS.23.4},
timestamp = {Mon, 19 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/theoretics/BanerjeeMMSS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/MajumdarMRSS23,
author = {Rupak Majumdar and
Kaushik Mallik and
Mateusz Rychlicki and
Anne{-}Kathrin Schmuck and
Sadegh Soudjani},
editor = {Constantin Enea and
Akash Lal},
title = {A Flexible Toolchain for Symbolic Rabin Games under Fair and Stochastic
Uncertainties},
booktitle = {Computer Aided Verification - 35th International Conference, {CAV}
2023, Paris, France, July 17-22, 2023, Proceedings, Part {III}},
series = {Lecture Notes in Computer Science},
volume = {13966},
pages = {3--15},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-37709-9\_1},
doi = {10.1007/978-3-031-37709-9\_1},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/MajumdarMRSS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/HenzingerKKM23,
author = {Thomas A. Henzinger and
Mahyar Karimi and
Konstantin Kueffner and
Kaushik Mallik},
editor = {Constantin Enea and
Akash Lal},
title = {Monitoring Algorithmic Fairness},
booktitle = {Computer Aided Verification - 35th International Conference, {CAV}
2023, Paris, France, July 17-22, 2023, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {13965},
pages = {358--382},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-37703-7\_17},
doi = {10.1007/978-3-031-37703-7\_17},
timestamp = {Tue, 12 Sep 2023 07:57:21 +0200},
biburl = {https://dblp.org/rec/conf/cav/HenzingerKKM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fat/HenzingerKKM23,
author = {Thomas A. Henzinger and
Mahyar Karimi and
Konstantin Kueffner and
Kaushik Mallik},
title = {Runtime Monitoring of Dynamic Fairness Properties},
booktitle = {Proceedings of the 2023 {ACM} Conference on Fairness, Accountability,
and Transparency, FAccT 2023, Chicago, IL, USA, June 12-15, 2023},
pages = {604--614},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3593013.3594028},
doi = {10.1145/3593013.3594028},
timestamp = {Thu, 15 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fat/HenzingerKKM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/MajumdarMRSS23,
author = {Rupak Majumdar and
Kaushik Mallik and
Mateusz Rychlicki and
Anne{-}Kathrin Schmuck and
Sadegh Soudjani},
title = {Poster Abstract: {A} Toolchain for Accelerated Symbolic Control},
booktitle = {Proceedings of the 26th {ACM} International Conference on Hybrid Systems:
Computation and Control, {HSCC} 2023, San Antonio, TX, USA, May 9-12,
2023},
pages = {28:1--28:2},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3575870.3589554},
doi = {10.1145/3575870.3589554},
timestamp = {Wed, 17 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/MajumdarMRSS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/HenzingerKM23,
author = {Thomas A. Henzinger and
Konstantin Kueffner and
Kaushik Mallik},
editor = {Panagiotis Katsaros and
Laura Nenzi},
title = {Monitoring Algorithmic Fairness Under Partial Observations},
booktitle = {Runtime Verification - 23rd International Conference, {RV} 2023, Thessaloniki,
Greece, October 3-6, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14245},
pages = {291--311},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-44267-4\_15},
doi = {10.1007/978-3-031-44267-4\_15},
timestamp = {Sun, 08 Oct 2023 09:22:52 +0200},
biburl = {https://dblp.org/rec/conf/rv/HenzingerKM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/AnandMNS23,
author = {Ashwani Anand and
Kaushik Mallik and
Satya Prakash Nayak and
Anne{-}Kathrin Schmuck},
editor = {Sriram Sankaranarayanan and
Natasha Sharygina},
title = {Computing Adequately Permissive Assumptions for Synthesis},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 29th International Conference, {TACAS} 2023, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2022, Paris, France, April 22-27, 2023, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {13994},
pages = {211--228},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-30820-8\_15},
doi = {10.1007/978-3-031-30820-8\_15},
timestamp = {Sat, 13 May 2023 01:07:18 +0200},
biburl = {https://dblp.org/rec/conf/tacas/AnandMNS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2301-07563,
author = {Ashwani Anand and
Kaushik Mallik and
Satya Prakash Nayak and
Anne{-}Kathrin Schmuck},
title = {Computing Adequately Permissive Assumptions for Synthesis},
journal = {CoRR},
volume = {abs/2301.07563},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2301.07563},
doi = {10.48550/ARXIV.2301.07563},
eprinttype = {arXiv},
eprint = {2301.07563},
timestamp = {Thu, 19 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2301-07563.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2305-04699,
author = {Thomas A. Henzinger and
Mahyar Karimi and
Konstantin Kueffner and
Kaushik Mallik},
title = {Runtime Monitoring of Dynamic Fairness Properties},
journal = {CoRR},
volume = {abs/2305.04699},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2305.04699},
doi = {10.48550/ARXIV.2305.04699},
eprinttype = {arXiv},
eprint = {2305.04699},
timestamp = {Fri, 12 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2305-04699.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2305-15979,
author = {Thomas A. Henzinger and
Mahyar Karimi and
Konstantin Kueffner and
Kaushik Mallik},
title = {Monitoring Algorithmic Fairness},
journal = {CoRR},
volume = {abs/2305.15979},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2305.15979},
doi = {10.48550/ARXIV.2305.15979},
eprinttype = {arXiv},
eprint = {2305.15979},
timestamp = {Wed, 07 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2305-15979.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2308-00341,
author = {Thomas A. Henzinger and
Konstantin Kueffner and
Kaushik Mallik},
title = {Monitoring Algorithmic Fairness under Partial Observations},
journal = {CoRR},
volume = {abs/2308.00341},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2308.00341},
doi = {10.48550/ARXIV.2308.00341},
eprinttype = {arXiv},
eprint = {2308.00341},
timestamp = {Mon, 21 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2308-00341.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2310-11798,
author = {Guy Avni and
Kaushik Mallik and
Suman Sadhukhan},
title = {Auction-Based Scheduling},
journal = {CoRR},
volume = {abs/2310.11798},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2310.11798},
doi = {10.48550/ARXIV.2310.11798},
eprinttype = {arXiv},
eprint = {2310.11798},
timestamp = {Fri, 27 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2310-11798.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/dnb/Mallik22,
author = {Kaushik Mallik},
title = {Pushing the Barriers in Controller Synthesis for Cyber-Physical Systems},
school = {Kaiserslautern University of Technology, Germany},
year = {2022},
url = {https://kluedo.ub.rptu.de/frontdoor/index/index/docId/6866},
urn = {urn:nbn:de:hbz:386-kluedo-68668},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/phd/dnb/Mallik22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/FinkbeinerMPSS22,
author = {Bernd Finkbeiner and
Kaushik Mallik and
Noemi Passing and
Malte Schledjewski and
Anne{-}Kathrin Schmuck},
editor = {Ezio Bartocci and
Sylvie Putot},
title = {BOCoSy: Small but Powerful Symbolic Output-Feedback Control},
booktitle = {{HSCC} '22: 25th {ACM} International Conference on Hybrid Systems:
Computation and Control, Milan, Italy, May 4 - 6, 2022},
pages = {24:1--24:11},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3501710.3519535},
doi = {10.1145/3501710.3519535},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/FinkbeinerMPSS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/BanerjeeMMSS22,
author = {Tamajit Banerjee and
Rupak Majumdar and
Kaushik Mallik and
Anne{-}Kathrin Schmuck and
Sadegh Soudjani},
editor = {Dana Fisman and
Grigore Rosu},
title = {A Direct Symbolic Algorithm for Solving Stochastic Rabin Games},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 28th International Conference, {TACAS} 2022, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2022, Munich, Germany, April 2-7, 2022, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {13244},
pages = {81--98},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-030-99527-0\_5},
doi = {10.1007/978-3-030-99527-0\_5},
timestamp = {Fri, 29 Apr 2022 14:50:32 +0200},
biburl = {https://dblp.org/rec/conf/tacas/BanerjeeMMSS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2202-07480,
author = {Tamajit Banerjee and
Rupak Majumdar and
Kaushik Mallik and
Anne{-}Kathrin Schmuck and
Sadegh Soudjani},
title = {Fast Symbolic Algorithms for Omega-Regular Games under Strong Transition
Fairness},
journal = {CoRR},
volume = {abs/2202.07480},
year = {2022},
url = {https://arxiv.org/abs/2202.07480},
eprinttype = {arXiv},
eprint = {2202.07480},
timestamp = {Fri, 18 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2202-07480.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adhs/MajumdarMSS21,
author = {Rupak Majumdar and
Kaushik Mallik and
Anne{-}Kathrin Schmuck and
Sadegh Soudjani},
editor = {Rapha{\"{e}}l M. Jungers and
Necmiye Ozay and
Alessandro Abate},
title = {Symbolic Qualitative Control for Stochastic Systems via Finite Parity
Games},
booktitle = {7th {IFAC} Conference on Analysis and Design of Hybrid Systems, {ADHS}
2021, Brussels, Belgium, July 7-9, 2021},
series = {IFAC-PapersOnLine},
volume = {54},
number = {5},
pages = {127--132},
publisher = {Elsevier},
year = {2021},
url = {https://doi.org/10.1016/j.ifacol.2021.08.486},
doi = {10.1016/J.IFACOL.2021.08.486},
timestamp = {Tue, 14 Sep 2021 14:28:35 +0200},
biburl = {https://dblp.org/rec/conf/adhs/MajumdarMSS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/arch/AbateBBCCDHHKLM21,
author = {Alessandro Abate and
Henk A. P. Blom and
Marc Bouissou and
Nathalie Cauchi and
Hassane Chraibi and
Joanna Delicaris and
Sofie Haesaert and
Arnd Hartmanns and
Mahmoud Khaled and
Abolfazl Lavaei and
Hao Ma and
Kaushik Mallik and
Mathis Niehage and
Anne Remke and
Stefan Schupp and
Fedor Shmarov and
Sadegh Soudjani and
Adam J. Thorpe and
Vlad Turcuman and
Paolo Zuliani},
editor = {Goran Frehse and
Matthias Althoff},
title = {{ARCH-COMP21} Category Report: Stochastic Models},
booktitle = {8th International Workshop on Applied Verification of Continuous and
Hybrid Systems (ARCH21), Brussels, Belgium, July 9, 2021},
series = {EPiC Series in Computing},
volume = {80},
pages = {55--89},
publisher = {EasyChair},
year = {2021},
url = {https://doi.org/10.29007/dprv},
doi = {10.29007/DPRV},
timestamp = {Mon, 19 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/arch/AbateBBCCDHHKLM21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccps/MajumdarMSSZ21,
author = {Rupak Majumdar and
Kaushik Mallik and
Mahmoud Salamati and
Sadegh Soudjani and
Mehrdad Zareian},
editor = {Martina Maggio and
James Weimer and
Mohammad Al Farque and
Meeko Oishi},
title = {Symbolic reach-avoid control of multi-agent systems},
booktitle = {{ICCPS} '21: {ACM/IEEE} 12th International Conference on Cyber-Physical
Systems, Nashville, Tennessee, USA, May 19-21, 2021},
pages = {209--220},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3450267.3450548},
doi = {10.1145/3450267.3450548},
timestamp = {Wed, 04 May 2022 13:03:26 +0200},
biburl = {https://dblp.org/rec/conf/iccps/MajumdarMSSZ21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2101-00834,
author = {Rupak Majumdar and
Kaushik Mallik and
Anne{-}Kathrin Schmuck and
Sadegh Soudjani},
title = {Symbolic Control for Stochastic Systems via Parity Games},
journal = {CoRR},
volume = {abs/2101.00834},
year = {2021},
url = {https://arxiv.org/abs/2101.00834},
eprinttype = {arXiv},
eprint = {2101.00834},
timestamp = {Thu, 21 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2101-00834.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcad/MajumdarMSZ20,
author = {Rupak Majumdar and
Kaushik Mallik and
Anne{-}Kathrin Schmuck and
Damien Zufferey},
title = {Assume-Guarantee Distributed Synthesis},
journal = {{IEEE} Trans. Comput. Aided Des. Integr. Circuits Syst.},
volume = {39},
number = {11},
pages = {3215--3226},
year = {2020},
url = {https://doi.org/10.1109/TCAD.2020.3012641},
doi = {10.1109/TCAD.2020.3012641},
timestamp = {Thu, 17 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcad/MajumdarMSZ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cdc/SamuelMSN20,
author = {Stanly Samuel and
Kaushik Mallik and
Anne{-}Kathrin Schmuck and
Daniel Neider},
title = {Resilient Abstraction-Based Controller Design},
booktitle = {59th {IEEE} Conference on Decision and Control, {CDC} 2020, Jeju Island,
South Korea, December 14-18, 2020},
pages = {2123--2129},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/CDC42340.2020.9303932},
doi = {10.1109/CDC42340.2020.9303932},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cdc/SamuelMSN20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/MajumdarMS20,
author = {Rupak Majumdar and
Kaushik Mallik and
Sadegh Soudjani},
editor = {Aaron D. Ames and
Sanjit A. Seshia and
Jyotirmoy Deshmukh},
title = {Symbolic controller synthesis for B{\"{u}}chi specifications
on stochastic systems},
booktitle = {{HSCC} '20: 23rd {ACM} International Conference on Hybrid Systems:
Computation and Control, Sydney, New South Wales, Australia, April
21-24, 2020},
pages = {14:1--14:11},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3365365.3382214},
doi = {10.1145/3365365.3382214},
timestamp = {Fri, 11 Sep 2020 12:57:20 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/MajumdarMS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/SamuelMSN20,
author = {Stanly Samuel and
Kaushik Mallik and
Anne{-}Kathrin Schmuck and
Daniel Neider},
editor = {Aaron D. Ames and
Sanjit A. Seshia and
Jyotirmoy Deshmukh},
title = {Resilient abstraction-based controller design},
booktitle = {{HSCC} '20: 23rd {ACM} International Conference on Hybrid Systems:
Computation and Control, Sydney, New South Wales, Australia, April
21-24, 2020},
pages = {33:1--33:2},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3365365.3383467},
doi = {10.1145/3365365.3383467},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/SamuelMSN20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/BaiM20,
author = {Yunjun Bai and
Kaushik Mallik},
editor = {Shang{-}Wei Lin and
Zhe Hou and
Brendan P. Mahony},
title = {Accurate Abstractions for Controller Synthesis with Non-uniform Disturbances},
booktitle = {Formal Methods and Software Engineering - 22nd International Conference
on Formal Engineering Methods, {ICFEM} 2020, Singapore, Singapore,
March 1-3, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12531},
pages = {297--307},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-63406-3\_18},
doi = {10.1007/978-3-030-63406-3\_18},
timestamp = {Thu, 25 Feb 2021 14:03:56 +0100},
biburl = {https://dblp.org/rec/conf/icfem/BaiM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2008-06315,
author = {Stanly Samuel and
Kaushik Mallik and
Anne{-}Kathrin Schmuck and
Daniel Neider},
title = {Resilient Abstraction-Based Controller Design},
journal = {CoRR},
volume = {abs/2008.06315},
year = {2020},
url = {https://arxiv.org/abs/2008.06315},
eprinttype = {arXiv},
eprint = {2008.06315},
timestamp = {Fri, 21 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2008-06315.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tac/MallikSSM19,
author = {Kaushik Mallik and
Anne{-}Kathrin Schmuck and
Sadegh Soudjani and
Rupak Majumdar},
title = {Compositional Synthesis of Finite-State Abstractions},
journal = {{IEEE} Trans. Autom. Control.},
volume = {64},
number = {6},
pages = {2629--2636},
year = {2019},
url = {https://doi.org/10.1109/TAC.2018.2869740},
doi = {10.1109/TAC.2018.2869740},
timestamp = {Wed, 20 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tac/MallikSSM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/HsuMMS19,
author = {Kyle Hsu and
Rupak Majumdar and
Kaushik Mallik and
Anne{-}Kathrin Schmuck},
editor = {Yu{-}Fang Chen and
Chih{-}Hong Cheng and
Javier Esparza},
title = {Lazy Abstraction-Based Controller Synthesis},
booktitle = {Automated Technology for Verification and Analysis - 17th International
Symposium, {ATVA} 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11781},
pages = {23--47},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-31784-3\_2},
doi = {10.1007/978-3-030-31784-3\_2},
timestamp = {Mon, 03 Jan 2022 17:11:32 +0100},
biburl = {https://dblp.org/rec/conf/atva/HsuMMS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cdc/BaiMSZM19,
author = {Yunjun Bai and
Kaushik Mallik and
Anne{-}Kathrin Schmuck and
Damien Zufferey and
Rupak Majumdar},
title = {Incremental Abstraction Computation for Symbolic Controller Synthesis
in a Changing Environment},
booktitle = {58th {IEEE} Conference on Decision and Control, {CDC} 2019, Nice,
France, December 11-13, 2019},
pages = {6261--6268},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/CDC40024.2019.9030141},
doi = {10.1109/CDC40024.2019.9030141},
timestamp = {Fri, 04 Mar 2022 13:30:46 +0100},
biburl = {https://dblp.org/rec/conf/cdc/BaiMSZM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1910-12137,
author = {Rupak Majumdar and
Kaushik Mallik and
Sadegh Soudjani},
title = {Symbolic Controller Synthesis for B{\"{u}}chi Specifications
on Stochastic Systems},
journal = {CoRR},
volume = {abs/1910.12137},
year = {2019},
url = {http://arxiv.org/abs/1910.12137},
eprinttype = {arXiv},
eprint = {1910.12137},
timestamp = {Thu, 31 Oct 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1910-12137.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cdc/HsuMMS18,
author = {Kyle Hsu and
Rupak Majumdar and
Kaushik Mallik and
Anne{-}Kathrin Schmuck},
title = {Lazy Abstraction-Based Control for Safety Specifications},
booktitle = {57th {IEEE} Conference on Decision and Control, {CDC} 2018, Miami,
FL, USA, December 17-19, 2018},
pages = {4902--4907},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/CDC.2018.8619659},
doi = {10.1109/CDC.2018.8619659},
timestamp = {Fri, 04 Mar 2022 13:30:11 +0100},
biburl = {https://dblp.org/rec/conf/cdc/HsuMMS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/HsuMMS18,
author = {Kyle Hsu and
Rupak Majumdar and
Kaushik Mallik and
Anne{-}Kathrin Schmuck},
editor = {Maria Prandini and
Jyotirmoy V. Deshmukh},
title = {Multi-Layered Abstraction-Based Controller Synthesis for Continuous-Time
Systems},
booktitle = {Proceedings of the 21st International Conference on Hybrid Systems:
Computation and Control (part of {CPS} Week), {HSCC} 2018, Porto,
Portugal, April 11-13, 2018},
pages = {120--129},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3178126.3178143},
doi = {10.1145/3178126.3178143},
timestamp = {Wed, 13 Mar 2019 18:19:09 +0100},
biburl = {https://dblp.org/rec/conf/hybrid/HsuMMS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1804-02666,
author = {Kyle Hsu and
Rupak Majumdar and
Kaushik Mallik and
Anne{-}Kathrin Schmuck},
title = {Lazy Abstraction-Based Control for Safety Specifications},
journal = {CoRR},
volume = {abs/1804.02666},
year = {2018},
url = {http://arxiv.org/abs/1804.02666},
eprinttype = {arXiv},
eprint = {1804.02666},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1804-02666.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1804-02722,
author = {Kyle Hsu and
Rupak Majumdar and
Kaushik Mallik and
Anne{-}Kathrin Schmuck},
title = {Lazy Abstraction-Based Control for Reachability},
journal = {CoRR},
volume = {abs/1804.02722},
year = {2018},
url = {http://arxiv.org/abs/1804.02722},
eprinttype = {arXiv},
eprint = {1804.02722},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1804-02722.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tie/MallikMBMBDB17,
author = {Srikumar Mallik and
Kaushik Mallik and
Amal Barman and
Dipten Maiti and
Sujit K. Biswas and
Nirmal K. Deb and
Sujay Basu},
title = {Efficiency and Cost Optimized Design of an Induction Motor Using Genetic
Algorithm},
journal = {{IEEE} Trans. Ind. Electron.},
volume = {64},
number = {12},
pages = {9854--9863},
year = {2017},
url = {https://doi.org/10.1109/TIE.2017.2703687},
doi = {10.1109/TIE.2017.2703687},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tie/MallikMBMBDB17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cdc/MallikSSM17,
author = {Kaushik Mallik and
Sadegh Esmaeil Zadeh Soudjani and
Anne{-}Kathrin Schmuck and
Rupak Majumdar},
title = {Compositional construction of finite state abstractions for stochastic
control systems},
booktitle = {56th {IEEE} Annual Conference on Decision and Control, {CDC} 2017,
Melbourne, Australia, December 12-15, 2017},
pages = {550--557},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.1109/CDC.2017.8263720},
doi = {10.1109/CDC.2017.8263720},
timestamp = {Fri, 04 Mar 2022 13:29:55 +0100},
biburl = {https://dblp.org/rec/conf/cdc/MallikSSM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1709-09546,
author = {Kaushik Mallik and
Sadegh Esmaeil Zadeh Soudjani and
Anne{-}Kathrin Schmuck and
Rupak Majumdar},
title = {Compositional Construction of Finite State Abstractions for Stochastic
Control Systems},
journal = {CoRR},
volume = {abs/1709.09546},
year = {2017},
url = {http://arxiv.org/abs/1709.09546},
eprinttype = {arXiv},
eprint = {1709.09546},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1709-09546.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/MallikS16,
author = {Kaushik Mallik and
Anne{-}Kathrin Schmuck},
editor = {Christos G. Cassandras and
Alessandro Giua and
Zhiwu Li},
title = {Supervisory controller synthesis for decomposable deterministic context
free specification languages},
booktitle = {13th International Workshop on Discrete Event Systems, {WODES} 2016,
Xi'an, China, May 30 - June 1, 2016},
pages = {22--27},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/WODES.2016.7497821},
doi = {10.1109/WODES.2016.7497821},
timestamp = {Fri, 29 Apr 2022 15:37:30 +0200},
biburl = {https://dblp.org/rec/conf/wodes/MallikS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/MajumdarMS16,
author = {Rupak Majumdar and
Kaushik Mallik and
Anne{-}Kathrin Schmuck},
title = {Compositional Synthesis of Finite State Abstractions},
journal = {CoRR},
volume = {abs/1612.08515},
year = {2016},
url = {http://arxiv.org/abs/1612.08515},
eprinttype = {arXiv},
eprint = {1612.08515},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/MajumdarMS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-09-18 01:11 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
