Probabilistic verification of a decentralized policy for conflict resolution in multi-agent systems

No abstract is available for this paper.

• Publication year

  2006

• Venue

  Proceedings 2006 IEEE International Conference on Robotics and Automation, 2006. ICRA 2006.

• Publication date

  2006-05-15

• Fields of study

  Computer Science, Engineering

• Identifiers
  DOI 10.1109/ROBOT.2006.1642069
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Flocking for multi-agent dynamic systems: algorithms and theory

  2006cited by this paper
• Coordinating Multiple Robots with Kinodynamic Constraints Along Specified Paths

  2005cited by this paper
• Decentralized Cooperative Conflict Resolution for Multiple Nonholonomic Vehicles

  2005influential reference
• Decentralized cooperative conflict resolution among multiple autonomous mobile agents

  2004cited by this paper
• Randomized Algorithms for Analysis and Control of Uncertain Systems

  2004cited by this paper
• Flocking Agents with Varying Interconnection Topology

  2004cited by this paper
• Exact Pareto-optimal coordination of two translating polygonal robots on an acyclic roadmap

  2004cited by this paper
• Decentralized feedback stabilization of multiple nonholonomic agents

  2004cited by this paper
• Hierarchical modeling and analysis of embedded systems

  2003cited by this paper
• Sold!: auction methods for multirobot coordination

  2002cited by this paper
• Decentralized optimization, with application to multiple aircraft coordination

  2002cited by this paper
• Communication Complexity of Multi-robot Systems

  2002cited by this paper
• Coordination of groups of mobile autonomous agents using nearest neighbor rules

  2002cited by this paper
• Hybrid I/O Automata Revisited

  2001cited by this paper
• Safety verification of conflict resolution manoeuvres

  2001cited by this paper
• Maneuver design for multiple aircraft conflict resolution

  2000cited by this paper
• Conflict resolution for air traffic management: a study in multiagent hybrid systems

  1998cited by this paper
• Decentralized Motion Planning for Multiple Mobile Robots: The Cocktail Party Model

  1997cited by this paper
• Studies in hybrid systems: modeling, analysis, and control

  1996cited by this paper
• Optimal motion planning for multiple robots having independent goals

  1996cited by this paper
• Hierarchical, Hybrid Control of Large Scale Systems

  1996cited by this paper
• The Algorithmic Analysis of Hybrid Systems

  1995cited by this paper
• On Curves of Minimal Length with a Constraint on Average Curvature, and with Prescribed Initial and Terminal Positions and Tangents

  1957cited by this paper
• A Measure of Asymptotic Efficiency for Tests of a Hypothesis Based on the sum of Observations

  1952cited by this paper

• Collision Avoidance Verification of Multiagent Systems With Learned Policies

  2024cites this paper
• Self-organized free-flight arrival for urban air mobility

  2024cites this paper
• Quantitative modelling and analysis of BDI agents

  2023cites this paper
• Safe and Scalable Real-Time Trajectory Planning Framework for Urban Air Mobility

  2023cites this paper
• Reachability based Online Safety Verification for High-Density Urban Air Mobility Trajectory Planning

  2022cites this paper
• Probabilistic BDI Agents: Actions, Plans, and Intentions

  2021cites this paper
• Autonomous Free Flight Operations in Urban Air Mobility With Computational Guidance and Collision Avoidance

  2021cites this paper
• Distributed Computational Guidance for High-Density Urban Air Mobility with Cooperative and Non-Cooperative Collision Avoidance

  2020cites this paper
• Trajectory planning in autonomous systems: A Recursive Tangent Algorithm

  2020cites this paper
• A new solution for Markov Decision Processes and its aerospace applications

  2020cites this paper
• UAS Conflict Resolution in Continuous Action Space Using Deep Reinforcement Learning

  2020cites this paper
• Scalable Multi-Agent Computational Guidance with Separation Assurance for Autonomous Urban Air Mobility

  2020cites this paper
• Multi-Agent Autonomous Operations in Urban Air Mobility with Communication Constraints

  2020cites this paper
• Multi-Agent Autonomous On-Demand Free Flight Operations in Urban Air Mobility

  2019cites this paper
• Online Flight Planner with Dynamic Obstacles for Urban Air Mobility

  2019cites this paper
• Recursive Tangent Algorithm for Path Planning in Autonomous Systems

  2019cites this paper
• Agent systems verification : systematic literature review and mapping

  2018cites this paper
• Sense and Avoid Concepts: Vehicle‐Based SAA Systems (Vehicle‐to‐Vehicle)

  2012cites this paper
• UAV Collision Avoidance Using RRT * and LOS Maximization Technical Report # CSSE 1203

  2012cites this paper
• Handbook of Hybrid Systems Control: Theory, Tools, Applications

  2011cites this paper
• 5 Further switched systems

  2011cites this paper
• Tools for modeling, simulation, control, and verification of piecewise affine systems

  2009cites this paper
• Hybrid control of a constrained velocity unicycle with local sensing

  2008cites this paper
• Multiple UAV deconfliction via navigation functions

  2008cites this paper
• Theory and implementation of path planning by negotiation for decentralized agents

  2008cites this paper
• Probabilistic verification of decentralized multi-agent control strategies: a Case Study in Conflict Avoidance

  2007cites this paper
• Decentralized intrusion detection for secure cooperative multi-agent systems

  2007cites this paper
• A Component-Based Approach to Localization and Collision Avoidance for

  2007cites this paper
• Decentralized Cooperative Policy for Conflict Resolution in Multivehicle Systems

  2007cites this paper
• A component-based approach to localization and collision avoidance for mobile multi-agent systems

  2007cites this paper
• Local Monitor Implementation for Decentralized Intrusion Detection in Secure Multi-Agent Systems

  2007cites this paper
• A scalable platform for safe and secure decentralized traffic management of multiagent mobile systems

  2006cites this paper
• A feedback control scheme for multiple independent dynamic non-point agents

  2006influential citation