Satya Prakash Nayak

Max Planck Institute for Software Systems

Papers

2

Total Citations

6

H-Index

2

About

No biography available yet.

Research Focus

Computer science2 · 6 citations
Distributed computing2 · 6 citations
Artificial intelligence2 · 6 citations
Control (management)1 · 3 citations
Control reconfiguration1 · 3 citations
Embedded system1 · 3 citations
Graph1 · 3 citations
Liveness1 · 3 citations
Model checking1 · 3 citations
Principle of compositionality1 · 3 citations
Programming language1 · 3 citations
Theoretical computer science1 · 3 citations

Key Achievements

2
H-Index
2
Papers
6
Total Citations
3
Avg Citations/Paper
🏆 Most Cited Paper
Contract-Based Distributed Logical Controller Synthesis
3 citations · 2024
📈 Most Prolific Year: 2024 (2 Papers)
🤝 Key Collaborators: 3
🏛 Institutions: Max Planck Institute for Software Systems

Top Papers

  1. 1
    Contract-Based Distributed Logical Controller Synthesis
    3 citations · 2024
  2. 2
    Context-triggered Games for Reactive Synthesis over Stochastic Systems via Control Barrier Certificates
    3 citations · 2024

Key Collaborators

ASAnne-Kathrin Schmuck2 shared papersANAmeneh Nejati1 shared papersAAAshwani Anand1 shared papers
Not generated yet