activity
20222026
most citedSynthesis of Temporally-Robust Policies for Signal Temporal Logic Tasks using Reinforcement Learning

5 citations · 7 across the 13 of their papers we have counts for

collaborators
Showing 2022Show all

2 papers · 1 filter

eess.SY2022

Entropy Rate Maximization of Markov Decision Processes under Linear Temporal Logic Tasks

Yu Chen, Shaoyuan Li, Xiang Yin

We investigate the problem of synthesizing optimal control policies for Markov decision processes (MDPs) with both qualitative and quantitative objectives. Specifically, our goal i…

eess.SY2022

Model Predictive Monitoring of Dynamical Systems for Signal Temporal Logic Specifications

Xinyi Yu, Weijie Dong, Xiang Yin +1

Online monitoring aims to evaluate or to predict, at runtime, whether or not the behaviors of a system satisfy some desired specification. It plays a key role in safety-critical cy…