Author:
Sun Runhan,Bharadwaj Suda,Xu Zhe,Topcu Ufuk,Dixon Warren E.
Funder
Office of Naval Research
National Aeronautics and Space Administration
Air Force Office of Scientific Research
Subject
Electrical and Electronic Engineering,Control and Systems Engineering
Reference24 articles.
1. Reactive mission and motion planning with deadlock resolution avoiding dynamic obstacles;Alonso-Mora;Autonomous Robots,2018
2. Principles of model checking;Baier,2008
3. Synthesis of surveillance strategies via belief abstraction;Bharadwaj,2018
4. Near-optimal reactive synthesis incorporating runtime information;Bharadwaj,2020
5. Synthesis of reactive(1) designs;Bloem;Journal of Computer and System Sciences,2012