Temporal logic guided safe model-based reinforcement learning: a hybrid systems approach (Q2677109): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.nahs.2022.101295
+Normal rank
@@ Property / OpenAlex ID @@
+W4306783402
@@ Property / OpenAlex ID: W4306783402 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5322945
@@ Property / cites work: Q5322945 / rank @@
+Normal rank
@@ Property / cites work @@
+Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
+Normal rank
@@ Property / cites work @@
+Linear Time Logic Control of Discrete-Time Linear Systems
+Normal rank
@@ Property / cites work @@
+A Fully Automated Framework for Control of Linear Systems from Temporal Logic Specifications
+Normal rank
@@ Property / cites work @@
+Verification and Control of Hybrid Systems
@@ Property / cites work: Verification and Control of Hybrid Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Formal methods for discrete-time dynamical systems
+Normal rank
@@ Property / cites work @@
+Dynamical properties of hybrid automata
@@ Property / cites work: Dynamical properties of hybrid automata / rank @@
+Normal rank
@@ Property / cites work @@
+Sampling-based Approximate Optimal Control Under Temporal Logic Constraints
+Normal rank
@@ Property / cites work @@
+Satisfaction of Linear Temporal Logic Specifications Through Recurrence Tools for Hybrid Systems
+Normal rank
@@ Property / cites work @@
+LTL receding horizon control for finite deterministic systems
+Normal rank
@@ Property / cites work @@
+Control Barrier Function Based Quadratic Programs for Safety Critical Systems
+Normal rank
@@ Property / cites work @@
+Integral concurrent learning: Adaptive control with parameter convergence using finite excitation
+Normal rank
@@ Property / cites work @@
+Model-based reinforcement learning for approximate optimal regulation
+Normal rank
@@ Property / cites work @@
+Reinforcement learning for optimal feedback control. A Lyapunov-based approach
+Normal rank
@@ Property / cites work @@
+Online actor-critic algorithm to solve the continuous-time infinite horizon optimal control problem
+Normal rank
@@ Property / cites work @@
+A novel actor-critic-identifier architecture for approximate optimal control of uncertain nonlinear systems
+Normal rank
@@ Property / cites work @@
+Reinforcement Learning and Feedback Control: Using Natural Decision Methods to Design Optimal Adaptive Controllers
+Normal rank
@@ Property / cites work @@
+Efficient model-based reinforcement learning for approximate online optimal control
+Normal rank
@@ Property / cites work @@
+Safe exploration in model-based reinforcement learning using control barrier functions
+Normal rank
@@ Property / cites work @@
+Deep reinforcement learning with temporal logics
@@ Property / cites work: Deep reinforcement learning with temporal logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q2771497
@@ Property / cites work: Q2771497 / rank @@
+Normal rank
@@ Property / cites work @@
+Adaptive nonlinear control without overparametrization
+Normal rank
@@ Property / cites work @@
+Q4551134
@@ Property / cites work: Q4551134 / rank @@
+Normal rank
@@ Property / cites work @@
+Synthesis of Reactive Switching Protocols From Temporal Logic Specifications
+Normal rank
@@ Property / cites work @@
+Concurrent Learning for Parameter Estimation Using Dynamic State-Derivative Estimators
+Normal rank
@@ Property / cites work @@
+Approximate optimal influence over an agent through an uncertain interaction dynamic
+Normal rank
@@ Property / cites work @@
+Data-based reinforcement learning approximate optimal control for an uncertain nonlinear system with control effectiveness faults
+Normal rank
@@ Property / cites work @@
+Q2825953
@@ Property / cites work: Q2825953 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5526189
@@ Property / cites work: Q5526189 / rank @@
+Normal rank
@@ Property / cites work @@
+Communication-Free Multi-Agent Control Under Local Temporal Tasks and Relative-Distance Constraints
+Normal rank
@@ Property / cites work @@
+Switching in systems and control
@@ Property / cites work: Switching in systems and control / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2677109