The Mealy-machine reduction functions of Spot

Open Webpage

Florian Renkin, Philipp Schlehuber-Caissier, Alexandre Duret-Lutz, Adrien Pommellet

Published: 01 Jan 2023, Last Modified: 15 Nov 2025Sci. Comput. Program. 2023EveryoneRevisionsBibTeXCC BY-SA 4.0
Abstract: Highlights•Several methods for reduction of Mealy machines are implemented.•These methods are publicly available in an open source project (Spot) and reusable.•These methods are used in an established LTL synthesis tool (ltlsynt).•These methods are competitive to the state-of-the art.