Florian Lorber

Available identifiers

zbMath Open lorber.florianMaRDI QIDQ1699227

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q3384887	2021-12-17	Paper
Conformance checking of real-time models. Symbolic execution vs. bounded model checking	2021-05-20	Paper
Time to learn -- learning timed automata from tests	2020-05-05	Paper
Bounded determinization of timed automata with silent transitions	2018-02-19	Paper
Bounded Determinization of Timed Automata with Silent Transitions	2015-09-14	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: Florian Lorber