2 citations · 2 across the 3 of their papers we have counts for
11 papers
Reinforcement Learning with Temporal Logic Constraints for Partially-Observable Markov Decision Processes
Yu Wang, Alper Kamil Bozkurt, Miroslav Pajic
This paper proposes a reinforcement learning method for controller synthesis of autonomous systems in unknown and partially-observable environments with subjective time-dependent s…
Formal Verification of Stochastic Systems with ReLU Neural Network Controllers
Shiqi Sun, Yan Zhang, Xusheng Luo +3
In this work, we address the problem of formal safety verification for stochastic cyber-physical systems (CPS) equipped with ReLU neural network (NN) controllers. Our goal is to fi…
Probabilistic Conformance for Cyber-Physical Systems
Yu Wang, Mojtaba Zarei, Borzoo Bonakdarpoor +1
In system analysis, conformance indicates that two systems simultaneously satisfy the same set of specifications of interest; thus, the results from analyzing one system automatica…
Context-Aware Temporal Logic for Probabilistic Systems
Mahmoud Elfar, Yu Wang, Miroslav Pajic
In this paper, we introduce the context-aware probabilistic temporal logic (CAPTL) that provides an intuitive way to formalize system requirements by a set of PCTL objectives with…
Learning Expected Reward for Switched Linear Control Systems: A Non-Asymptotic View
Muhammad Abdullah Naeem, Miroslav Pajic
In this work, we show existence of invariant ergodic measure for switched linear dynamical systems (SLDSs) under a norm-stability assumption of system dynamics in some unbounded su…
Security Analysis for Distributed IoT-Based Industrial Automation
Vuk Lesi, Zivana Jakovljevic, Miroslav Pajic
With ever-expanding computation and communication capabilities of modern embedded platforms, Internet of Things (IoT) technologies enable development of Reconfigurable Manufacturin…