Siddhartha Nalluri

According to our database¹, Siddhartha Nalluri authored at least 4 papers between 2019 and 2021.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Bibliography

2021

Statistical Model Checking for Hyperproperties.

[BibT_eX]

[DOI]

Proceedings of the 34th IEEE Computer Security Foundations Symposium, 2021

2020

Hyperproperties for Robotics: Planning via HyperLTL.

[BibT_eX]

[DOI]

Yu Wang

Siddhartha Nalluri

Miroslav Pajic

Proceedings of the 2020 IEEE International Conference on Robotics and Automation, 2020

2019

Hyperproperties for Robotics: Motion Planning via HyperLTL.

[BibT_eX]

[DOI]

Yu Wang

Siddhartha Nalluri

Miroslav Pajic

CoRR, 2019

Statistical Model Checking for Probabilistic Hyperproperties.

[BibT_eX]

[DOI]

CoRR, 2019

Siddhartha Nalluri

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...