Salomon Sickert

Available identifiers

Publication	Date of Publication	Type
Practical applications of the alternating cycle decomposition	2024-02-01	Paper
On the translation of automata to linear temporal logic	2024-01-23	Paper
A simple rewrite system for the normalization of linear temporal logic	2023-08-10	Paper
Owl: a library for \(\omega \)-words, automata, and LTL	2023-07-28	Paper
https://portal.mardi4nfdi.de/entity/Q5875419	2023-02-03	Paper
A Unified Translation of Linear Temporal Logic to ω-Automata	2022-12-08	Paper
Certifying DFA bounds for recognition and separation	2022-06-22	Paper
https://portal.mardi4nfdi.de/entity/Q3384171	2021-12-14	Paper
Certifying inexpressibility	2021-10-18	Paper
An Efficient Normalisation Procedure for Linear Temporal Logic and Very Weak Alternating Automata	2021-01-21	Paper
One Theorem to Rule Them All	2021-01-20	Paper
From LTL and Limit-Deterministic Büchi Automata to Deterministic Parity Automata	2020-08-05	Paper
Practical synthesis of reactive systems from LTL specifications via parity games	2020-03-06	Paper
Limit-Deterministic Büchi Automata for Linear Temporal Logic	2019-05-03	Paper
From LTL to deterministic automata. A safraless compositional approach	2017-07-26	Paper
Refinement checking on parametric modal transition systems	2015-04-16	Paper
MoTraS: A Tool for Modal Transition Systems and Their Extensions	2014-07-08	Paper
On Refinements of Boolean and Parametric Modal Transition Systems	2013-10-04	Paper

This page was built for person: Salomon Sickert