S. Nayak

Robustness-by-Construction Synthesis: Adapting to the Environment at Runtime

D. Neider, Martin Zimmermann, S. Nayak, 2022, ArXiv.

Robust Computation Tree Logic

D. Neider, Rajarshi Roy, Martin Zimmermann, 2022, ArXiv.

Robustness-by-Construction Synthesis: Adapting to the Environment at Runtime

D. Neider, Martin Zimmermann, S. Nayak, 2022, ISoLA.

Robust Computation Tree Logic

D. Neider, Rajarshi Roy, Martin Zimmermann, 2022, NASA Formal Methods.

Context-triggered Games for Reactive Synthesis over Stochastic Systems via Control Barrier Certificates

S. Nayak, Ameneh Nejati, Anne-Kathrin Schmuck, 2024, HSCC.

Robust Computation Tree Logic

D. Neider, Rajarshi Roy, Martin Zimmermann, 2022, NFM.