Alexander Weinert

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
From LTL to rLTL monitoring: improved monitorability through robust semantics Formal Methods in System Design	2023-06-29	Paper
Robust, expressive, and quantitative linear temporal logics: pick any two for free Information and Computation	2022-06-08	Paper
Synthesizing Optimally Resilient Controllers	2022-05-28	Paper
scientific article; zbMATH DE number 7533361 (Why is no real title available?)	2022-05-28	Paper
Robust, expressive, and quantitative linear temporal logics: pick any two for free	2022-01-06	Paper
scientific article; zbMATH DE number 7447730 (Why is no real title available?)	2021-12-17	Paper
Approximating optimal bounds in prompt-LTL realizability in doubly-exponential time	2021-12-07	Paper
Quantitative reductions and vertex-ranked infinite games Information and Computation	2021-06-03	Paper
From LTL to rLTL monitoring Proceedings of the 23rd International Conference on Hybrid Systems: Computation and Control	2021-01-25	Paper
VLDL satisfiability and model checking via tree automata	2020-11-25	Paper
Synthesizing optimally resilient controllers Acta Informatica	2020-03-06	Paper
Parity games with weights	2019-09-13	Paper
Visibly linear dynamic logic Theoretical Computer Science	2018-09-24	Paper
Visibly linear dynamic logic	2018-04-19	Paper
scientific article; zbMATH DE number 6790166 (Why is no real title available?)	2017-10-12	Paper
Easy to win, hard to master: optimal strategies in parity games with costs	2017-07-19	Paper

Research outcomes over time

This page was built for person: Alexander Weinert