2 papers
cs.LO2026
Animation, Verification and Visualisation of Prolog Transition Systems with ProB
Jan Gruteser, Michael Leuschel, Katharina Engels +1
ProB is a Prolog-based model checker, animator and constraint solver for high-level formal specifications. One can also use ProB to animate transition systems defined by Prolog pre…
cs.LO2024
Using Formal Models, Safety Shields and Certified Control to Validate AI-Based Train Systems
Jan Gruteser, Jan RoÃbach, Fabian Vu +1
The certification of autonomous systems is an important concern in science and industry. The KI-LOK project explores new methods for certifying and safely integrating AI components…