Satya Prakash Nayak
Scholar

Satya Prakash Nayak

Google Scholar ID: SG0LVmYAAAAJ
PhD in Computer Science, Max Planck Institute for Software Systems
Temporal LogicsReactive SynthesisGame theory
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
124
 
H-index
8
 
i10-index
6
 
Publications
16
 
Co-authors
11
list available
Contact
No contact links provided.
Publications
6 items
Concurrent Permissive Strategy Templates
2026
Cited
0
Universal Safety Controllers with Learned Prophecies
2025
Cited
0
Maximal Adaptation, Minimal Guidance: Permissive Reactive Robot Task Planning with Humans in the Loop
2025
Cited
0
Quantitative Strategy Templates
2025
Cited
0
Follow the STARs: Dynamic ω-Regular Shielding of Learned Policies
arXiv.org · 2025
Cited
0
Synthesis of Universal Safety Controllers
2025
Cited
0
Resume (English only)
Co-authors
11 total
Anne-Kathrin Schmuck
Anne-Kathrin Schmuck
MPI SWS
Ashwani Anand
Ashwani Anand
Max Planck Institute for Software Systems
Martin Zimmermann
Martin Zimmermann
Aalborg University
Daniel Neider
Daniel Neider
TU Dortmund University and Center for Trustworthy Data Science and Security
Raphael Jungers
Raphael Jungers
Professor of Applied Mathematics, Université catholique de Louvain, ICTEAM
Rayna Dimitrova
Rayna Dimitrova
CISPA Helmholtz Center for Information Security
Kaushik Mallik
Kaushik Mallik
IMDEA Software Institute
Ritam Raha
Ritam Raha
Post-doctoral Researcher, Max Planck Institute for Software Systems (MPI-SWS)