2 papers
cs.AI2024
Conformance Checking of Fuzzy Logs against Declarative Temporal Specifications
Ivan Donadello, Paolo Felli, Craig Innes +2
Traditional conformance checking tasks assume that event data provide a faithful and complete representation of the actual process executions. This assumption has been recently que…
cs.AI2023
Dialogue-based generation of self-driving simulation scenarios using Large Language Models
Antonio Valerio Miceli-Barone, Alex Lascarides, Craig Innes
Simulation is an invaluable tool for developing and evaluating controllers for self-driving cars. Current simulation frameworks are driven by highly-specialist domain specific lang…