Martin De Wulf

Available identifiers

zbMath Open de-wulf.martinMaRDI QIDQ1028727

List of research outcomes

Publication	Date of Publication	Type
Strategy construction for parity games with imperfect information	2010-10-07	Paper
Robust safety of timed automata	2009-07-06	Paper
Antichains: Alternative Algorithms for LTL Satisfiability and Model-Checking	2008-04-11	Paper
Hybrid Systems: Computation and Control	2007-09-25	Paper
Antichains: A New Algorithm for Checking Universality of Finite Automata	2007-09-05	Paper
Hybrid Systems: Computation and Control	2007-05-02	Paper
FM 2005: Formal Methods	2006-01-10	Paper
Almost ASAP semantics: from timed models to timed implementations	2005-12-13	Paper
Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems	2005-08-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: Martin De Wulf