235 citations · 865 across the 103 of their papers we have counts for
1 paper · 1 filter
Sanjit A. Seshia
Even with impressive advances in automated formal methods, certain problems in system verification and synthesis remain challenging. Examples include the verification of quantitati…