Alexander Weinert

From MaRDI portal
Person:1786615

Available identifiers

zbMath Open weinert.alexanderMaRDI QIDQ1786615

List of research outcomes





PublicationDate of PublicationType
From LTL to rLTL monitoring: improved monitorability through robust semantics2023-06-29Paper
Robust, expressive, and quantitative linear temporal logics: pick any two for free2022-06-08Paper
Synthesizing Optimally Resilient Controllers2022-05-28Paper
https://portal.mardi4nfdi.de/entity/Q50797612022-05-28Paper
Robust, expressive, and quantitative linear temporal logics: pick any two for free2022-01-06Paper
https://portal.mardi4nfdi.de/entity/Q33848742021-12-17Paper
Approximating optimal bounds in prompt-LTL realizability in doubly-exponential time2021-12-07Paper
Quantitative reductions and vertex-ranked infinite games2021-06-03Paper
From LTL to rLTL monitoring2021-01-25Paper
VLDL satisfiability and model checking via tree automata2020-11-25Paper
Synthesizing optimally resilient controllers2020-03-06Paper
Parity games with weights2019-09-13Paper
Visibly linear dynamic logic2018-09-24Paper
Visibly linear dynamic logic2018-04-19Paper
https://portal.mardi4nfdi.de/entity/Q53670682017-10-12Paper
Easy to win, hard to master: optimal strategies in parity games with costs2017-07-19Paper

Research outcomes over time

This page was built for person: Alexander Weinert

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