News Orchidea 0.6 released We are glad to announce the latest release (0.6) of the Orchidea software for computer-assisted orchestration.
Publication Data Hallucination, Falsification and Validation using Generative Models and Formal Methods R. Valle, “Data Hallucination, Falsification and Validation using Generative Models and Formal Methods”, 2018.