Context-triggered Abstraction-based Control Design
Nayak, S.P., Egidio, L.N., Rossa, M. DELLA, Schmuck, A.-K., Jungers, R.M.
Published in IEEE Open Journal of Control Systems (01.01.2023)
Published in IEEE Open Journal of Control Systems (01.01.2023)
Get full text
Journal Article
Robust computation tree logic
Nayak, Satya Prakash, Neider, Daniel, Roy, Rajarshi, Zimmermann, Martin
Published in Innovations in systems and software engineering (20.03.2024)
Published in Innovations in systems and software engineering (20.03.2024)
Get full text
Journal Article
Robust Computation Tree Logic
Nayak, Satya Prakash, Neider, Daniel, Roy, Rajarshi, Zimmermann, Martin
Published in NASA Formal Methods (2022)
Published in NASA Formal Methods (2022)
Get full text
Book Chapter
Localized Attractor Computations for Infinite-State Games (Full Version)
Schmuck, Anne-Kathrin, Heim, Philippe, Dimitrova, Rayna, Nayak, Satya Prakash
Year of Publication 15.05.2024
Year of Publication 15.05.2024
Get full text
Journal Article
Robustness-by-Construction Synthesis: Adapting to the Environment at Runtime
Get full text
Paper
Journal Article
Contract-Based Distributed Synthesis in Two-Objective Parity Games
Get full text
Paper
Journal Article
Robust Computation Tree Logic
Nayak, Satya Prakash, Neider, Daniel, Roy, Rajarshi, Zimmermann, Martin
Published in arXiv.org (24.10.2023)
Published in arXiv.org (24.10.2023)
Get full text
Paper
Journal Article
Synthesizing Permissive Winning Strategy Templates for Parity Games
Get full text
Paper
Journal Article
Computing Adequately Permissive Assumptions for Synthesis
Anand, Ashwani, Mallik, Kaushik, Nayak, Satya Prakash, Schmuck, Anne-Kathrin
Published in arXiv.org (06.04.2023)
Published in arXiv.org (06.04.2023)
Get full text
Paper
Journal Article
Solving Two-Player Games under Progress Assumptions
Schmuck, Anne-Kathrin, Thejaswini, K S, Sağlam, Irmak, Nayak, Satya Prakash
Published in arXiv.org (19.10.2023)
Published in arXiv.org (19.10.2023)
Get full text
Paper
Journal Article
Context-triggered Abstraction-based Control Design
Nayak, Satya Prakash, Lucas Neves Egidio, Matteo Della Rossa, Schmuck, Anne-Kathrin, Jungers, Raphaël
Published in arXiv.org (14.08.2023)
Published in arXiv.org (14.08.2023)
Get full text
Paper
Journal Article
Scrub septicemia progressing to polyneuropathy: a case report
Jena, Dr. Pradeep Kumar, Satapathy, Dr. Swasthi Kabi, Nayak, Dr. Alok Satya Prakash, NaIik, Dr. Sarthak, Murmu, Dr. Mangal Charan
Published in Pediatric Review: International Journal of Pediatric Research (28.02.2021)
Published in Pediatric Review: International Journal of Pediatric Research (28.02.2021)
Get full text
Journal Article