Not registered as user yet

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

Contributions

VMCAI 2022 STAMINA 2.0: Improving Scalability of Infinite-StateStochastic Model Checking
Show activities from other conferences

Using general profile