27 citations · 64 across the 15 of their papers we have counts for
Showing cs.FLShow all
3 papers · 1 filter
cs.FL2026
Evolution-Based Timed Opacity under a Universal Observation Model
Zhe Zhang, Martijn Goorden, Michel Reniers
Existing literature on timed opacity uses specific definitions for restricted subclasses of timed automata or limited observation models. This lack of a unified definition makes it…
cs.FL2020
Conversion of LSAT behavioral specifications to automata
Sander Thuijsman, Michel Reniers
The Logistics Specification and Analysis Tool (LSAT) is a model-based engineering tool used for manufacturing system design and analysis. Using a domain specific language, a system…
cs.FL2014
Maximally Permissive Controlled System Synthesis for Modal Logic
Allan van Hulst, Michel Reniers, Wan Fokkink
We propose a new method for controlled system synthesis on non-deterministic automata, which includes the synthesis for deadlock-freeness, as well as invariant and reachability exp…