10 citations · 12 across the 7 of their papers we have counts for
1 paper · 1 filter
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…