Surdeep Chotaliya

Orcid: 0009-0005-7099-149X

According to our database¹, Surdeep Chotaliya authored at least 2 papers between 2021 and 2026.

Collaborative distances:

Timeline

Book In proceedings Article PhD thesis Dataset Other

2026

Conjunctive Bayesian Optimization (conBO): An Application to Cyber-Physical Systems Verification with Conjunctive Requirements.

[DOI]

ACM Trans. Cyber Phys. Syst., July, 2026

2021

Part-X: A Family of Stochastic Algorithms for Search-Based Test Generation with Probabilistic Guarantees.

[DOI]

CoRR, 2021