Devaprakash Muniraj
Orcid: 0000-0001-9764-2955
According to our database1,
Devaprakash Muniraj
authored at least 9 papers
between 2017 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2023
A Scalable Compositional Falsification Approach for Identifying Challenging Scenarios in Cyber-Physical Systems.
IEEE Syst. J., September, 2023
2022
A Distributed Connectivity Maintenance Algorithm With Formal Guarantees for a Communication-Constrained Network of Unmanned Underwater Vehicles.
IEEE Syst. J., 2022
Proceedings of the 31st USENIX Security Symposium, 2022
2021
Proceedings of the 2021 European Control Conference, 2021
2020
On Using Composability Tools for Reliability Analysis of Unmanned Multi-Aircraft Systems: A Case Study.
IEEE Access, 2020
A Distributed Connectivity Maintenance Algorithm for a Network of Unmanned Underwater Vehicles Under Communication Constraints.
Proceedings of the 59th IEEE Conference on Decision and Control, 2020
2019
Robustness Analysis of Uncertain Time-Varying Interconnected Systems Using Integral Quadratic Constraints.
Proceedings of the 2019 American Control Conference, 2019
2018
Enforcing Signal Temporal Logic Specifications in Multi-Agent Adversarial Environments: A Deep Q-Learning Approach.
Proceedings of the 57th IEEE Conference on Decision and Control, 2018
2017
Proceedings of the 2017 American Control Conference, 2017