ARES: Adaptive Receding-Horizon Synthesis of Optimal Plans
DOI10.1007/978-3-662-54580-5_17zbMath1453.90181arXiv1612.07059OpenAlexW2562728025WikidataQ124212539 ScholiaQ124212539MaRDI QIDQ3303936
Scott A. Smolka, Christian Hirsch, Radu Grosu, Lukas Esterle, Ezio Bartocci, Anna Lukina, Junxing Yang, Ashish Kumar Tiwari
Publication date: 5 August 2020
Published in: Tools and Algorithms for the Construction and Analysis of Systems (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1612.07059
Markov decision processmodel predictive controlparticle swarm optimizationparticle swarm optimization algorithmoptimal plan
Evolutionary algorithms, genetic algorithms (computational aspects) (68W50) Approximation methods and heuristics in mathematical programming (90C59) Markov and semi-Markov decision processes (90C40) Approximation algorithms (68W25)
Related Items (1)
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Model predictive control: Theory and practice - a survey
- Policy learning for time-bounded reachability in continuous-time Markov decision processes via doubly-stochastic gradient ascent
- Multilevel Splitting for Estimating Rare Event Probabilities
- Accelerating parallel particle swarm optimization via GPU
- Modeling Bird Flight Formations Using Diffusion Adaptation
- The Convergence of Bird Flocking
- Verification, Model Checking, and Abstract Interpretation
This page was built for publication: ARES: Adaptive Receding-Horizon Synthesis of Optimal Plans