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

van Huijgevoort, Birgit C.

  1. Specification-guided temporal logic control for stochastic systems: a multi-layered approach
    2024/07/04 by B.C. van Huijgevoort, van Huijgevoort, Birgit C., Ruohan Wang +5 · 1 citation
    Computer Science · #FOS: Electrical engineering #Formal Methods in Verification #Petri Nets in System Modeling #Systems and Control (eess.SY) #electronic engineering #information engineering