1 paper · 1 filter
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…