Search Results for author:
Found 3 papers, 0 papers with code
Certified Control for Train Sign Classification
We provide such specifications for some critical signs and integrate a Python prototype of the monitor with a popular object detection model to measure relevant performance metrics on generated data.
Validation Obligations: A Novel Approach to Check Compliance between Requirements and their Formal Specification
Traditionally, practitioners use formal methods pre-dominately for one half of the quality-assurance process: verification (do we build the software right?).
Software Engineering Formal Languages and Automata Theory
Knowledge Representation Analysis of Graph Mining
For IDP and ASP, which have no native support for higher order logic, we propose the use of encoding techniques such as the disjoint union technique and the saturation technique.
