Multi-weighted reachability games
From MaRDI portal
Publication:6623017
DOI10.1007/978-3-031-45286-4_7MaRDI QIDQ6623017
Thomas Brihaye, Aline Goeminne
Publication date: 23 October 2024
Pareto-optimal strategiestwo-player games on graphslexico-optimal strategiesmulti-weighted reachability games
Could not fetch data.
Cites Work
- Title not available (Why is that?)
- The complexity of membership problems for circuits over sets of integers
- Pareto curves of multidimensional mean-payoff games
- Stochastic games with lexicographic reachability-safety objectives
- Strategy synthesis for multi-dimensional quantitative objectives
- Optimal Bounds for Multiweighted and Parametrised Energy Games
- Generalized Mean-payoff and Energy Games
- Algorithms for the Multi-constrained Routing Problem
- Model-Checking Timed ATL for Durational Concurrent Game Structures
- Foundations of Software Science and Computational Structures
This page was built for publication: Multi-weighted reachability games
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6623017)
