12 citations · 37 across the 12 of their papers we have counts for
3 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…