1 paper · 2 filters
Patrick Holmes, Shreyas Kousik, Shankar Mohan +1
Accurately modeling and verifying the correct operation of systems interacting in dynamic environments is challenging. By leveraging parametric uncertainty within the model descrip…