Shruti Biswal

According to our database, Shruti Biswal authored at least 3 papers between 2019 and 2022.

Collaborative distances:

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

2022

Implicit relations and their derivatives for symbolic state space generation.

Shruti Biswal

PhD thesis, 2022

2020

Reachability Set Generation Using Hybrid Relation Compatible Saturation.

Shruti Biswal, Andrew S. Miner

Proceedings of the Reachability Problems - 14th International Conference, 2020

2019

Improving Saturation Efficiency with Implicit Relations.

Shruti Biswal, Andrew S. Miner

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2019