Shruti Biswal

According to our database, Shruti Biswal authored at least 2 papers between 2019 and 2020.

Collaborative distances:

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

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