Table of Contents
Fetching ...

Context-Triggered Contingency Games for Strategic Multi-Agent Interaction

Kilian Schweppe, Anne-Kathrin Schmuck

TL;DR

The paper tackles reliable multi-agent interaction by integrating high-level strategic planning with low-level dynamic contingency reasoning in a context-triggered framework. It introduces strategy templates to capture reusable, winning strategies from LTL-based strategic games and pairs them with context-dependent contingency games solved in real time via a novel Dynamic Game Factor Graph (DG-FG) solver, enabling real-time MPC. The approach is validated in autonomous driving and robot navigation scenarios, showing safe, proactive, and efficient behavior with significant improvements in solving speed and scalability over existing solvers. This work provides a practical, real-time framework for combining long-horizon strategic objectives with short-horizon reactive adaptation in uncertain, interactive environments.

Abstract

We address the challenge of reliable and efficient interaction in autonomous multi-agent systems, where agents must balance long-term strategic objectives with short-term dynamic adaptation. We propose context-triggered contingency games, a novel integration of strategic games derived from temporal logic specifications with dynamic contingency games solved in real time. Our two-layered architecture leverages strategy templates to guarantee satisfaction of high-level objectives, while a new factor-graph-based solver enables scalable, real-time model predictive control of dynamic interactions. The resulting framework ensures both safety and progress in uncertain, interactive environments. We validate our approach through simulations and hardware experiments in autonomous driving and robotic navigation, demonstrating efficient, reliable, and adaptive multi-agent interaction.

Context-Triggered Contingency Games for Strategic Multi-Agent Interaction

TL;DR

The paper tackles reliable multi-agent interaction by integrating high-level strategic planning with low-level dynamic contingency reasoning in a context-triggered framework. It introduces strategy templates to capture reusable, winning strategies from LTL-based strategic games and pairs them with context-dependent contingency games solved in real time via a novel Dynamic Game Factor Graph (DG-FG) solver, enabling real-time MPC. The approach is validated in autonomous driving and robot navigation scenarios, showing safe, proactive, and efficient behavior with significant improvements in solving speed and scalability over existing solvers. This work provides a practical, real-time framework for combining long-horizon strategic objectives with short-horizon reactive adaptation in uncertain, interactive environments.

Abstract

We address the challenge of reliable and efficient interaction in autonomous multi-agent systems, where agents must balance long-term strategic objectives with short-term dynamic adaptation. We propose context-triggered contingency games, a novel integration of strategic games derived from temporal logic specifications with dynamic contingency games solved in real time. Our two-layered architecture leverages strategy templates to guarantee satisfaction of high-level objectives, while a new factor-graph-based solver enables scalable, real-time model predictive control of dynamic interactions. The resulting framework ensures both safety and progress in uncertain, interactive environments. We validate our approach through simulations and hardware experiments in autonomous driving and robotic navigation, demonstrating efficient, reliable, and adaptive multi-agent interaction.

Paper Structure

This paper contains 20 sections, 6 equations, 5 figures, 1 table.

Figures (5)

  • Figure 1: Mobile Robot Navigation Scenario. Top right: Part of the strategic game graph. Box and circle nodes are owned by environment and ego agent, respectively. Bottom left: Contingency game solution for the dynamic game induced by the top-left context (dashed boundary). Matching colored trajectories illustrate matching intents.
  • Figure 2: Solutions trajectories for the lane merge (top) and crosswalk (bottom) scenarios. DG-FG solution (right) differs slightly from the reference (left), but remains very similar.
  • Figure 3: Comparison of the region heat-map resulting from experimental trajectories when $R_c$ is running a context-triggered controller with (bottom) and without (top) contigency games. Specification violation is indicated in red (top).
  • Figure 4: Overtaking maneuver with three vehicles.
  • Figure 5: Comparison of reactive and predictive controllers with varying horizon lengths.

Theorems & Definitions (4)

  • Example 1: Robot Domain and Dynamics
  • Example 2: Robot Specification
  • Example 3: Strategic Game
  • Example 4: Robot Contingency Game