Eshita Zaman

According to our database, Eshita Zaman authored at least 2 papers between 2022 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

CTL Model Checking Partially Specified Systems.

Eshita Zaman, Christopher Johannsen, Andrew S. Miner, Gianfranco Ciardo, Samik Basu

Proceedings of the Integrated Formal Methods - 20th International Conference, 2025

2022

HyperPCTL Model Checking by Probabilistic Decomposition.

Eshita Zaman, Gianfranco Ciardo, Erika Ábrahám, Borzoo Bonakdarpour

Proceedings of the Integrated Formal Methods - 17th International Conference, 2022