Transformations d’ω-automates pour la synthese de contrôleurs réactifs

[Free GPT-4]
[PDF] hal.science

The Mealy-machine reduction functions of Spot

F Renkin, P Schlehuber-Caissier, A Duret-Lutz… - Science of Computer …, 2023 - Elsevier
We present functions for reducing Mealy machines, initially detailed in our FORTE'22 article.
These functions are now integrated into Spot 2.11. 2, where they are used as part of the …
Speichern Zitieren Ähnliche Artikel Alle 9 Versionen