Search Results for author:
Found 8 papers, 2 papers with code
Reinforcement Learning Under Probabilistic Spatio-Temporal Constraints with Time Windows
We propose an automata-theoretic approach for reinforcement learning (RL) under complex spatio-temporal constraints with time windows.
Temporal Relaxation of Signal Temporal Logic Specifications for Resilient Control Synthesis
To this end, we formulate an optimal control problem that extracts state and input sequences by minimally violating the temporal requirements while achieving the desired predicates.
Control Barrier Functions with Actuation Constraints under Signal Temporal Logic Specifications
We propose control barrier functions (CBFs) for a family of dynamical systems to satisfy a broad fragment of Signal Temporal Logic (STL) specifications, which may include subtasks with nested temporal operators or conflicting requirements (e. g., achieving multiple subtasks within the same time interval).
Control Synthesis using Signal Temporal Logic Specifications with Integral and Derivative Predicates
We discuss the benefits of using the new predicates and illustrate them in a case study showing the influence of the new predicates on the trajectories of an autonomous robot.
Probabilistically Guaranteed Satisfaction of Temporal Logic Constraints During Reinforcement Learning
We propose a novel constrained reinforcement learning method for finding optimal policies in Markov Decision Processes while satisfying temporal logic constraints with a desired probability throughout the learning process.
Robotics Systems and Control Systems and Control
Tractable Reinforcement Learning of Signal Temporal Logic Objectives
Learning to satisfy STL specifications often needs a sufficient length of state history to compute reward and the next action.
Q-Learning for Robust Satisfaction of Signal Temporal Logic Specifications
This paper addresses the problem of learning optimal policies for satisfying signal temporal logic (STL) specifications by agents with unknown stochastic dynamics.
Systems and Control
Time Window Temporal Logic
This paper introduces time window temporal logic (TWTL), a rich expressivity language for describing various time bounded specifications.
Formal Languages and Automata Theory Logic in Computer Science
