Benjamin Bordais

From MaRDI portal
Person:5875666



List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

PublicationDate of PublicationType
From local to global optimality in concurrent parity games2026-02-19Paper
A framework for computing upper bounds in passive learning settings2025-12-15Paper
Playing (almost-)optimally in concurrent Büchi and co-Büchi games2024-09-12Paper
Strategy synthesis for global window PCTL2024-06-24Paper
Optimal strategies in concurrent reachability games
(available as arXiv preprint)
2024-04-10Paper
scientific article; zbMATH DE number 7799619 (Why is no real title available?)
(available as arXiv preprint)
2024-02-05Paper
Subgame optimal strategies in finite concurrent games with prefix-independent objectives
Lecture Notes in Computer Science
2023-11-24Paper
scientific article; zbMATH DE number 7650329 (Why is no real title available?)
(available as arXiv preprint)
2023-02-03Paper


Research outcomes over time


This page was built for person: Benjamin Bordais