activity
20192024
most citedVerifying Controllers with Convolutional Neural Network-based Perception: A Case for Intelligible, Safe, and Precise Abstractions

36 citations · 82 across the 11 of their papers we have counts for

collaborators
Showing 2019Show all

1 paper · 1 filter

cs.LG2019

Verification and Parameter Synthesis for Stochastic Systems using Optimistic Optimization

Negin Musavi, Dawei Sun, Sayan Mitra +2

We present an algorithm for formal verification and parameter synthesis of continuous state-space Markov chains. This class of problems captures the design and analysis of a wide v…