Keyword:Conformance synthesis

Publications
Checking and Establishing Reachset Conformance in CORA 2023 Matthias Althoff In:Proceedings of 10th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH23)