Action codes

DOI10.4230/LIPICS.ICALP.2023.137MaRDI QIDQ6638147zbMATH OpenFDO

Authors F. Vaandrager, Thorsten Wißmann

Publication date 14 November 2024

Full work available at URL https://doi.org/10.4230/LIPICS.ICALP.2023.137

zbMATH Keywords

action codesaction contractionaction refinementautomataGalois connectionLTSmodel learningmodel-based testingmodels of reactive systems

Mathematics Subject Classification ID

Theory of software (68Nxx) Theory of computing (68Qxx)

This page was built for publication: Action codes

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6638147)