215 citations · 275 across the 30 of their papers we have counts for
7 papers · 1 filter
Hyperproperties for Robotics: Planning via HyperLTL
Yu Wang, Siddhartha Nalluri, Miroslav Pajic
There is a growing interest on formal methods-based robotic planning for temporal logic objectives. In this work, we extend the scope of existing synthesis methods to hyper-tempora…
Control Synthesis from Linear Temporal Logic Specifications using Model-Free Reinforcement Learning
Alper Kamil Bozkurt, Yu Wang, Michael M. Zavlanos +1
We present a reinforcement learning (RL) framework to synthesize a control policy from a given linear temporal logic (LTL) specification in an unknown stochastic environment that c…
Statistical Verification of Hyperproperties for Cyber-Physical System
Yu Wang, Mojtaba Zarei, Borzoo Bonakdarpour +1
Many important properties of cyber-physical systems (CPS) are defined upon the relationship between multiple executions simultaneously in continuous time. Examples include probabil…
Attack-Resilient Supervisory Control of Discrete-Event Systems: A Finite-State Transducer Approach
Yu Wang, Alper Kamil Bozkurt, Nathan Smith +1
Resilience to sensor and actuator attacks is a major concern in the supervisory control of discrete events in cyber-physical systems (CPS). In this work, we propose a new framework…
An Optimal Graph-Search Method for Secure State Estimation
Xusheng Luo, Miroslav Pajic, Michael M. Zavlanos
The growing complexity of modern Cyber-Physical Systems (CPS) and the frequent communication between their components make them vulnerable to malicious attacks. As a result, secure…
Security-Aware Synthesis Using Delayed-Action Games
Mahmoud Elfar, Yu Wang, Miroslav Pajic
Stochastic multiplayer games (SMGs) have gained attention in the field of strategy synthesis for multi-agent reactive systems. However, standard SMGs are limited to modeling system…
Statistical Model Checking for Hyperproperties
Yu Wang, Siddhartha Nalluri, Borzoo Bonakdarpour +1
Hyperproperties have shown to be a powerful tool for expressing and reasoning about information-flow security policies. In this paper, we investigate the problem of statistical mod…