Kaushik Mallik

Available identifiers

zbMath Open mallik.kaushikMaRDI QIDQ3297582

List of research outcomes

Publication	Date of Publication	Type
Fast symbolic algorithms for omega-regular games under strong transition fairness	2024-07-03	Paper
Computing adequately permissive assumptions for synthesis	2024-04-05	Paper
Symbolic control for stochastic systems via finite parity games	2024-03-01	Paper
BOCoSy: Small but Powerful Symbolic Output-Feedback Control	2024-02-21	Paper
Poster Abstract: A Toolchain for Accelerated Symbolic Control	2024-02-21	Paper
A direct symbolic algorithm for solving stochastic Rabin games	2024-02-01	Paper
A flexible toolchain for symbolic Rabin games under fair and stochastic uncertainties	2024-02-01	Paper
Monitoring algorithmic fairness	2024-01-12	Paper
Symbolic controller synthesis for Büchi specifications on stochastic systems	2021-01-25	Paper
Resilient abstraction-based controller design	2021-01-25	Paper
Lazy Abstraction-Based Controller Synthesis	2020-07-20	Paper
Compositional Synthesis of Finite-State Abstractions	2019-07-18	Paper
Multi-Layered Abstraction-Based Controller Synthesis for Continuous-Time Systems	2018-12-06	Paper

Research outcomes over time

This page was built for person: Kaushik Mallik