Satya Prakash Nayak

Max Planck Institute for Software Systems

论文数

2

总引用数

6

H-Index

2

关于

暂无简介。

研究焦点

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

主要成就

2
H 指数
2
论文
6
总引用数
3
篇均引用
🏆 最高被引论文
Contract-Based Distributed Logical Controller Synthesis
3 次引用 · 2024
📈 最高产年份: 2024 (2 论文)
🤝 主要合作者: 3
🏛 所属机构: Max Planck Institute for Software Systems

代表论文

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

主要合作者

ASAnne-Kathrin Schmuck2 篇合著论文ANAmeneh Nejati1 篇合著论文AAAshwani Anand1 篇合著论文

联系与链接

可合作
内容已生成 · 16 天前