Search Results for author:
Found 4 papers, 0 papers with code
Dynamic Shielding for Reinforcement Learning in Black-Box Environments
The dynamic shielding technique constructs an approximate system model in parallel with RL using a variant of the RPNI algorithm and suppresses undesired explorations due to the shield constructed from the learned model.
Moment Propagation of Polynomial Systems Through Carleman Linearization for Probabilistic Safety Analysis
We develop a method to approximate the moments of a discrete-time stochastic polynomial system.
Local Opacity Verification for Distributed Discrete Event Systems
We propose sufficient conditions for verifying opacity of the global system model based only on the opacity of the local systems.
Fast Synthesis for Symbolic Self-triggered Control under Right-recursive LTL Specifications
We extend previous work on symbolic self-triggered control for non-deterministic continuous-time nonlinear systems without stability assumptions to a larger class of specifications.
