10 citations · 32 across the 26 of their papers we have counts for
1 paper · 2 filters
Rômulo Meira-Góes, Ian Dardik, Eunsuk Kang +2
A safety verification task involves verifying a system against a desired safety property under certain assumptions about the environment. However, these environmental assumptions m…