Shobhit Singh

Orcid: 0000-0003-3221-9843

According to our database¹, Shobhit Singh authored at least 2 papers between 2025 and 2026.

Collaborative distances:

Timeline

Book In proceedings Article PhD thesis Dataset Other

2026

Slicing Models for Equiconsistency with Alloy.

[DOI]

Proceedings of the Rigorous State-Based Methods - 12th International Conference, 2026

2025

Identity Testing for Stochastic Languages.

[DOI]

CoRR, August, 2025