Ulrich Ultes-Nitsche

Available identifiers

zbMath Open ultes-nitsche.ulrichMaRDI QIDQ845907

List of research outcomes

Publication	Date of Publication	Type
A Simple and Optimal Complementation Algorithm for Büchi Automata	2021-01-20	Paper
Computing property-preserving behaviour abstractions from trace reductions, abstraction-based verification of linear-time properties under fairness	2016-03-04	Paper
k-counting automata	2012-11-22	Paper
Do We Need Liveness? – Approximation of Liveness Properties by Safety Properties	2011-04-01	Paper
A power-set construction for reducing Büchi automata to non-determinism degree two	2010-01-29	Paper
A complete characterization of deterministic regular liveness properties	2007-12-19	Paper
https://portal.mardi4nfdi.de/entity/Q4496257	2000-08-13	Paper

Research outcomes over time

This page was built for person: Ulrich Ultes-Nitsche