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

zbMATH Keywords

Markov decision processmodel predictive controlparticle swarm optimizationparticle swarm optimization algorithmoptimal plan

Mathematics Subject Classification ID

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)

Parameter-Independent Strategies for pMDPs via POMDPs

Uses Software

• APMC
• Boids

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