vix.ing · top · new · best · stats · spec

Kallwies, Hannes

  1. Symbolic Runtime Verification for Monitoring under Uncertainties and Assumptions
    2022/07/12 by Hannes Kallwies, Kallwies, Hannes, Martin Leucker +3 · 1 citation
    Computer Science · Engineering · #Formal Methods in Verification #Advanced Software Engineering Methodologies #Safety Systems Engineering in Autonomy