19 citations · 36 across the 10 of their papers we have counts for
Showing 2022Show all
2 papers · 1 filter
cs.SE2022
Early Verification of Legal Compliance via Bounded Satisfiability Checking
Nick Feng, Lina Marsso, Mehrdad Sabetzadeh +1
Legal properties involve reasoning about data values and time. Metric first-order temporal logic (MFOTL) provides a rich formalism for specifying legal properties. While MFOTL has…
cs.SE2022★ 19 cited
If a Human Can See It, So Should Your System: Reliability Requirements for Machine Vision Components
Boyue Caroline Hu, Lina Marsso, Krzysztof Czarnecki +3
Machine Vision Components (MVC) are becoming safety-critical. Assuring their quality, including safety, is essential for their successful deployment. Assurance relies on the availa…