Full Text Available

Note: Clicking the button above will open the full text document at the original institutional repository in a new window.

Verification of Correlated Equilibria in Concurrent Reachability Games

Saved in:
Bibliographic Details
Published in:ArXiv cs.GT Recent Papers
Format: Online Article RSS Article
Published: 2026
Subjects:
Tags: Add Tag
No Tags, Be the first to tag this record!
_version_ 1864130790169772032
collection WordPress RSS
FRELIP Feed Integration
container_title ArXiv cs.GT Recent Papers
description
discipline_display Engineering & Technology
discipline_facet Engineering & Technology
format Online Article
RSS Article
genre Journal Article
id rss_article:48593
institution FRELIP
journal_source_facet ArXiv cs.GT Recent Papers
publishDate 2026
publishDateSort 2026
record_format rss_article
spellingShingle Verification of Correlated Equilibria in Concurrent Reachability Games
ArXiv cs.GT Recent Papers
Mechanical Engineering
Engineering & Technology
sub_discipline_display Mechanical Engineering
sub_discipline_facet Mechanical Engineering
subject_display ArXiv cs.GT Recent Papers
Mechanical Engineering
Engineering & Technology
ArXiv cs.GT Recent Papers
Mechanical Engineering
Engineering & Technology
subject_facet ArXiv cs.GT Recent Papers
Mechanical Engineering
Engineering & Technology
title Verification of Correlated Equilibria in Concurrent Reachability Games
title_auth Verification of Correlated Equilibria in Concurrent Reachability Games
title_full Verification of Correlated Equilibria in Concurrent Reachability Games
title_fullStr Verification of Correlated Equilibria in Concurrent Reachability Games
title_full_unstemmed Verification of Correlated Equilibria in Concurrent Reachability Games
title_short Verification of Correlated Equilibria in Concurrent Reachability Games
title_sort verification of correlated equilibria in concurrent reachability games
topic ArXiv cs.GT Recent Papers
Mechanical Engineering
Engineering & Technology
url https://arxiv.org/abs/2604.24655v1