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

Junyao Hou

  1. Abstraction-Based Verification of Approximate Pre-Opacity for Control Systems
    2022/11/08 by Junyao Hou, Hou, Junyao, Siyuan Liu +5 · 1 citation
    Computer Science · #FOS: Computer and information sciences #FOS: Electrical engineering #Petri Nets in System Modeling #Real-Time Systems Scheduling #Security and Verification in Computing #Symbolic Computation (cs.SC) #Systems and Control (eess.SY) #electronic engineering #information engineering