The Non-Cooperative Rational Synthesis Problem for Subgame Perfect Equilibria and omega-regular Objectives

Fuente: arXiv
Saved in:
Bibliographic Details
Main Authors: Bruyère, Véronique, Raskin, Jean-François, Reynouard, Alexis, Bogaard, Marie Van Den
Format: Preprint
Published: 2024
Subjects:
Online Access:
Tags: Add Tag
No Tags, Be the first to tag this record!