Satya Prakash Nayak
Orcid: 0000-0002-4407-8681
According to our database1,
Satya Prakash Nayak
authored at least 16 papers
between 2021 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
2021
2022
2023
2024
0
1
2
3
4
5
6
7
8
1
2
6
4
2
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2024
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2024
Context-triggered Games for Reactive Synthesis over Stochastic Systems via Control Barrier Certificates.
Proceedings of the 27th ACM International Conference on Hybrid Systems: Computation and Control, 2024
Proceedings of the 27th ACM International Conference on Hybrid Systems: Computation and Control, 2024
Proceedings of the Computer Aided Verification - 36th International Conference, 2024
Proceedings of the Automated Technology for Verification and Analysis, 2024
2023
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2023
Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control, 2023
Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control, 2023
Proceedings of the Computer Aided Verification - 35th International Conference, 2023
2022
Proceedings of the NASA Formal Methods - 14th International Symposium, 2022
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles, 2022
2021
Proceedings of the HSCC '21: 24th ACM International Conference on Hybrid Systems: Computation and Control, 2021