Satya Prakash Nayak

Max Planck Institute for Software Systems

Papers

Total Citations

H-Index

About

Satya Prakash Nayak is a rising researcher in formal methods and control theory, focusing on the synthesis of correct-by-construction controllers for complex, interactive systems. His work bridges the gap between logical decision-making and continuous dynamics, with key contributions in contract-based synthesis and stochastic control. In his 2024 paper "Contract-Based Distributed Logical Controller Synthesis," Nayak introduces a sound and complete framework for computing distributed controllers for interacting components, modeled as a two-player game over a finite graph. This work, with 3 citations, addresses fundamental challenges in modular system design. His other highly cited 2024 paper, "Context-triggered Games for Reactive Synthesis over Stochastic Systems via Control Barrier Certificates," offers a formal framework for automatically synthesizing hybrid controllers for nonlinear stochastic systems. By integrating control barrier certificates with reactive synthesis, Nayak enables the enforcement of complex logic specifications under uncertainty—a critical step toward safe autonomous systems. Though early in his career, his work is gaining traction for its novel combination of game theory, abstraction, and certificate-driven control, positioning him as a promising voice in the synthesis community.