3 citations · 4 across the 7 of their papers we have counts for
Showing 2022Show all
2 papers · 1 filter
eess.SY2022★ 3 cited
A Unified Framework for Verification of Observational Properties for Partially-Observed Discrete-Event Systems
Jianing Zhao, Xiang Yin, Shaoyuan Li
In this paper, we investigate property verification problems in partially-observed discrete-event systems (DES). Particularly, we are interested in verifying observational properti…
eess.SY2022★ 1 cited
To Explore or Not to Explore: Regret-Based LTL Planning in Partially-Known Environments
Jianing Zhao, Keyi Zhu, Mingyang Feng +1
In this paper, we investigate the optimal robot path planning problem for high-level specifications described by co-safe linear temporal logic (LTL) formulae. We consider the scena…