Steen Vester

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!

Publication	Date of Publication	Type
Nash equilibria in symmetric games with partial observation	2021-06-22	Paper
Alternating-time temporal logic with finite-memory strategies	2021-06-09	Paper
Alternating-time temporal logic with finite-memory strategies (available as arXiv preprint)	2021-06-09	Paper
scientific article; zbMATH DE number 6863862 (Why is no real title available?)	2018-04-23	Paper
Winning cores in parity games Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science	2018-04-23	Paper
Nash equilibria in symmetric graph games with partial observation Information and Computation	2017-05-12	Paper
Nash equilibria in symmetric graph games with partial observation Information and Computation	2017-05-12	Paper
Distributed synthesis in continuous time Lecture Notes in Computer Science	2016-06-10	Paper
On the complexity of model-checking branching and alternating-time temporal logics in one-counter systems Automated Technology for Verification and Analysis	2016-01-08	Paper
Symmetry reduction in infinite games with finite branching Automated Technology for Verification and Analysis	2015-12-17	Paper
Improving multi-agent systems using \textit{Jason} Annals of Mathematics and Artificial Intelligence	2012-03-23	Paper

Research outcomes over time

This page was built for person: Steen Vester