45 citations · 205 across the 65 of their papers we have counts for
4 papers · 1 filter
Opacity of Discrete Event Systems with Active Intruder
Alireza Partovi, Taeho Jung, Lin Hai
Opacity is a security property formalizing the information leakage of a system to an external observer, namely intruder. The conventional opacity that has been studied in the Discr…
A graph-based spatial temporal logic for knowledge representation and automated reasoning in cognitive robots
Zhiyu Liu, Meng Jiang, Hai Lin
We propose a new graph-based spatial temporal logic for knowledge representation and automated reasoning in this paper. The proposed logic achieves a balance between expressiveness…
Permissive Supervisor Synthesis for Markov Decision Processes through Learning
Bo Wu, Xiaobin Zhang, Hai Lin
This paper considers the permissive supervisor synthesis for probabilistic systems modeled as Markov Decision Processes (MDP). Such systems are prevalent in power grids, transporta…
Counterexample-guided Abstraction Refinement for POMDPs
Xiaobin Zhang, Bo Wu, Hai Lin
Partially Observable Markov Decision Process (POMDP) is widely used to model probabilistic behavior for complex systems. Compared with MDPs, POMDP models a system more accurate but…