Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Nayak, Satya Prakash
1931  Ergebnisse:
Personensuche X
?
1

Robust computation tree logic:

Nayak, Satya Prakash ; Neider, Daniel ; Roy, Rajarshi.
Innovations in Systems and Software Engineering.  , 2024
Link: https://doi.org/10.1007/..
 
?
2

Poster Abstract: Towards Seamless Reactivity of Hybrid Cont..:

, In: Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control,
Egidio, Lucas Neves ; Nayak, Satya Prakash ; Rossa, Matteo Della.. - p. 1-2 , 2023
Link: https://dl.acm.org/doi/1..
 
?
3

Context-Triggered Abstraction-Based Control Design:

Nayak, Satya Prakash ; Egidio, Lucas N. ; Della Rossa, Matteo..
IEEE Open Journal of Control Systems.  2 (2023)  - p. 277-296 , 2023
Link: https://doi.org/10.1109/..
 
?
4

Poster Abstract: Permissiveness for Strategy Adaptation:

, In: Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control,
Anand, Ashwani ; Nayak, Satya Prakash ; Schmuck, Anne-Kathrin - p. 1-2 , 2023
Link: https://dl.acm.org/doi/1..
 
?
5

Solving Two-Player Games Under Progress Assumptions:

, In: Lecture Notes in Computer Science; Verification, Model Checking, and Abstract Interpretation,
Schmuck, Anne-Kathrin ; Thejaswini, K. S. ; Sağlam, Irmak. - p. 208-231 , 2023
Link: https://doi.org/10.1007/..
 
?
6

Robust Computation Tree Logic:

, In: Lecture Notes in Computer Science; NASA Formal Methods,
Nayak, Satya Prakash ; Neider, Daniel ; Roy, Rajarshi. - p. 538-556 , 2022
Link: https://doi.org/10.1007/..
 
?
7

Robustness-by-Construction Synthesis: Adapting to the Envir..:

, In: Lecture Notes in Computer Science; Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles,
Nayak, Satya Prakash ; Neider, Daniel ; Zimmermann, Martin - p. 149-173 , 2022
Link: https://doi.org/10.1007/..
 
?
8

Adaptive strategies for rLTL games:

, In: Proceedings of the 24th International Conference on Hybrid Systems: Computation and Control,
Nayak, Satya Prakash ; Neider, Daniel ; Zimmermann, Martin - p. 1-2 , 2021
Link: https://dl.acm.org/doi/1..
 
?
9

Context-triggered Games for Reactive Synthesis over Stochas..:

, In: Proceedings of the 27th ACM International Conference on Hybrid Systems: Computation and Control,
Nejati, Ameneh ; Prakash Nayak, Satya ; Schmuck, Anne-Kathrin - p. 1-12 , 2024
Link: https://dl.acm.org/doi/1..
 
?
10

Contract-Based Distributed Logical Controller Synthesis:

, In: Proceedings of the 27th ACM International Conference on Hybrid Systems: Computation and Control,
Anand, Ashwani ; Schmuck, Anne-Kathrin ; Prakash Nayak, Satya - p. 1-11 , 2024
Link: https://dl.acm.org/doi/1..
 
?
11

Robust computation tree logic:

Nayak, Satya Prakash ; Neider, Daniel ; Roy, Rajarshi.
https://vbn.aau.dk/da/publications/8664c9db-1f01-40a0-a5a3-05b2f6a01e05.  , 2024
Link: https://vbn.aau.dk/da/pu..
 
?
12

Most General Winning Secure Equilibria Synthesis in Graph G..:

Nayak, Satya Prakash ; Schmuck, Anne-Kathrin
http://arxiv.org/abs/2401.09957.  , 2024
Link: http://arxiv.org/abs/240..
 
?
13

Synthesizing Permissive Winning Strategy Templates for Pari..:

Anand, Ashwani ; Nayak, Satya Prakash ; Schmuck, Anne-Kathrin
http://arxiv.org/abs/2305.14026.  , 2023
Link: http://arxiv.org/abs/230..
 
?
14

Computing adequately permissive assumptions for synthesis ;..:

Anand, Ashwani ; Mallik, Kaushik ; Nayak, Satya Prakash.
info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-031-30820-8_15.  , 2023
Link: https://research-explore..
 
?
15

Context-Triggered Abstraction-Based Control Design:

Nayak, Satya Prakash ; Neves Egidio, Lucas ; Della Rossa, Matteo..
info:eu-repo/grantAgreement/ERC/H2020/864017.  , 2023
Link: http://hdl.handle.net/20..
 
1-15