Alexander Weinert

Available identifiers

zbMath Open weinert.alexanderMaRDI QIDQ1786615

List of research outcomes

Publication	Date of Publication	Type
From LTL to rLTL monitoring: improved monitorability through robust semantics	2023-06-29	Paper
Robust, expressive, and quantitative linear temporal logics: pick any two for free	2022-06-08	Paper
Synthesizing Optimally Resilient Controllers	2022-05-28	Paper
https://portal.mardi4nfdi.de/entity/Q5079761	2022-05-28	Paper
https://portal.mardi4nfdi.de/entity/Q5020519	2022-01-06	Paper
https://portal.mardi4nfdi.de/entity/Q3384874	2021-12-17	Paper
https://portal.mardi4nfdi.de/entity/Q5015286	2021-12-07	Paper
Quantitative reductions and vertex-ranked infinite games	2021-06-03	Paper
From LTL to rLTL monitoring	2021-01-25	Paper
https://portal.mardi4nfdi.de/entity/Q5136340	2020-11-25	Paper
Synthesizing optimally resilient controllers	2020-03-06	Paper
https://portal.mardi4nfdi.de/entity/Q5232902	2019-09-13	Paper
Visibly linear dynamic logic	2018-09-24	Paper
Visibly Linear Dynamic Logic	2018-04-19	Paper
https://portal.mardi4nfdi.de/entity/Q5367068	2017-10-12	Paper
https://portal.mardi4nfdi.de/entity/Q5278418	2017-07-19	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Alexander Weinert