Not registered as user yet

Name:Thakur Neupane
Country:United States
Affiliation:The MathWorks, Inc.

Contributions

VMCAI 2022 Author of STAMINA 2.0: Improving Scalability of Infinite-StateStochastic Model Checking within the VMCAI 2022-track