Adaptive strategies for rLTL games. - Satya Prakash Nayak; Daniel Neider; Martin Zimmermann 002 (HSCC, 2021)

Robustness-by-Construction Synthesis: Adapting to the Environment at Runtime. - Satya Prakash Nayak; Daniel Neider; Martin Zimmermann 002 (ISoLA (1), 2022)

Synthesizing Permissive Winning Strategy Templates for Parity Games. - Ashwani Anand; Satya Prakash Nayak; Anne-Kathrin Schmuck (CAV (1), 2023)

Poster Abstract: Permissiveness for Strategy Adaptation. - Ashwani Anand; Satya Prakash Nayak; Anne-Kathrin Schmuck (HSCC, 2023)

Poster Abstract: Towards Seamless Reactivity of Hybrid Control. - Lucas Neves Egidio; Satya Prakash Nayak; Matteo Della Rossa; Anne-Kathrin Schmuck; Raphaël M. Jungers (HSCC, 2023)

Computing Adequately Permissive Assumptions for Synthesis. - Ashwani Anand; Kaushik Mallik; Satya Prakash Nayak; Anne-Kathrin Schmuck (TACAS (2), 2023)

Context-triggered Abstraction-based Control Design. - Satya Prakash Nayak; Lucas Neves Egidio; Matteo Della Rossa; Anne-Kathrin Schmuck; Raphaël M. Jungers (CoRR, 2023)

Contract-Based Distributed Synthesis in Two-Objective Parity Games. - Ashwani Anand; Satya Prakash Nayak; Anne-Kathrin Schmuck (CoRR, 2023)

Strategy Templates - Robust Certified Interfaces for Interacting Systems. - Ashwani Anand; Satya Prakash Nayak; Anne-Kathrin Schmuck (ATVA, 2024)

Localized Attractor Computations for Infinite-State Games. - Anne-Kathrin Schmuck; Philippe Heim; Rayna Dimitrova; Satya Prakash Nayak (CAV (3), 2024)

Contract-Based Distributed Logical Controller Synthesis. - Ashwani Anand; Anne-Kathrin Schmuck; Satya Prakash Nayak (HSCC, 2024)

Context-triggered Games for Reactive Synthesis over Stochastic Systems via Control Barrier Certificates. - Ameneh Nejati; Satya Prakash Nayak; Anne-Kathrin Schmuck (HSCC, 2024)

Most General Winning Secure Equilibria Synthesis in Graph Games. - Satya Prakash Nayak; Anne-Kathrin Schmuck (TACAS (3), 2024)

Solving Two-Player Games Under Progress Assumptions. - Anne-Kathrin Schmuck; K. S. Thejaswini; Irmak Saglam; Satya Prakash Nayak (VMCAI (1), 2024)

Localized Attractor Computations for Infinite-State Games (Full Version). - Anne-Kathrin Schmuck; Philippe Heim; Rayna Dimitrova; Satya Prakash Nayak (CoRR, 2024)

Fair Quantitative Games. - Ashwani Anand; Satya Prakash Nayak; Ritam Raha; Irmak Saglam; Anne-Kathrin Schmuck (FoSSaCS, 2025)

Synthesis of Universal Safety Controllers. - Bernd Finkbeiner; Niklas Metzger 001; Satya Prakash Nayak; Anne-Kathrin Schmuck (TACAS (2), 2025)

Artifact for Synthesis of Universal Safety Controllers at TACAS 2025. - Bernd Finkbeiner; Anne-Kathrin Schmuck; Satya Prakash Nayak; Niklas Metzger 001 (Zenodo, 2025)

Artifact for Synthesis of Universal Safety Controllers at TACAS 2025. - Bernd Finkbeiner; Anne-Kathrin Schmuck; Satya Prakash Nayak; Niklas Metzger 001 (Zenodo, 2025)

Quantitative Strategy Templates. - Ashwani Anand; Satya Prakash Nayak; Ritam Raha; Irmak Saglam; Anne-Kathrin Schmuck (CoRR, 2025)

Follow the STARs: Dynamic ω-Regular Shielding of Learned Policies. - Ashwani Anand; Satya Prakash Nayak; Ritam Raha; Anne-Kathrin Schmuck (CoRR, 2025)

Robust computation tree logic. - Satya Prakash Nayak; Daniel Neider; Rajarshi Roy 002; Martin Zimmermann 002 (Innov. Syst. Softw. Eng., 2025)

Kol-4-Gen: Stacked Kolmogorov-Arnold and Generative Adversarial Networks for Malware Binary Classification Through Visual Analysis. - Anurag Dutta; Satya Prakash Nayak; Ruchira Naskar; Rajat Subhra Chakraborty (IEEE Embed. Syst. Lett., 2025)