( en | de | ru )

 

Disambiguation of "Mallik, Kaushik"

Author of the publication

copydeleteadd this publication to your clipboard
Computing Adequately Permissive Assumptions for Synthesis.

, , , and . TACAS (2), volume 13994 of Lecture Notes in Computer Science, page 211-228. Springer, (2023)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Stephan Mallik

Kaushik Bhaganagarapu

Kaushik Biswas

Kaushik Ravichandran

Kaushik Mitra

 

Other publications of authors with the same name

Incremental Abstraction Computation for Symbolic Controller Synthesis in a Changing Environment., , , , and . CDC, page 6261-6268. IEEE, (2019)Symbolic Qualitative Control for Stochastic Systems via Finite Parity Games., , , and . ADHS, volume 54 of IFAC-PapersOnLine, page 127-132. Elsevier, (2021)Pushing the Barriers in Controller Synthesis for Cyber-Physical Systems.. Kaiserslautern University of Technology, Germany, (2022)A Flexible Toolchain for Symbolic Rabin Games under Fair and Stochastic Uncertainties., , , , and . CAV (3), volume 13966 of Lecture Notes in Computer Science, page 3-15. Springer, (2023)Auction-Based Scheduling., , and . CoRR, (2023)Accurate Abstractions for Controller Synthesis with Non-uniform Disturbances., and . ICFEM, volume 12531 of Lecture Notes in Computer Science, page 297-307. Springer, (2020)Multi-Layered Abstraction-Based Controller Synthesis for Continuous-Time Systems., , , and . HSCC, page 120-129. ACM, (2018)Monitoring Algorithmic Fairness., , , and . CAV (2), volume 13965 of Lecture Notes in Computer Science, page 358-382. Springer, (2023)Computing Adequately Permissive Assumptions for Synthesis., , , and . TACAS (2), volume 13994 of Lecture Notes in Computer Science, page 211-228. Springer, (2023)BOCoSy: Small but Powerful Symbolic Output-Feedback Control., , , , and . HSCC, page 24:1-24:11. ACM, (2022)