Steen Vester

From MaRDI portal
Person:528189

Available identifiers

zbMath Open vester.steenMaRDI QIDQ528189

List of research outcomes





PublicationDate of PublicationType
https://portal.mardi4nfdi.de/entity/Q49948902021-06-22Paper
https://portal.mardi4nfdi.de/entity/Q49925162021-06-09Paper
https://portal.mardi4nfdi.de/entity/Q46362962018-04-23Paper
Winning Cores in Parity Games2018-04-23Paper
Nash equilibria in symmetric graph games with partial observation2017-05-12Paper
Distributed Synthesis in Continuous Time2016-06-10Paper
On the Complexity of Model-Checking Branching and Alternating-Time Temporal Logics in One-Counter Systems2016-01-08Paper
Symmetry Reduction in Infinite Games with Finite Branching2015-12-17Paper
Improving multi-agent systems using \textit{Jason}2012-03-23Paper

Research outcomes over time

This page was built for person: Steen Vester

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:528189&oldid=7299300"
Powered by MediaWiki