Pragmatic Uses of AI in Formal Methods-Based Railway Projects: Early Lessons and Perspectives (Extended Abstract).

Thierry Lecomte, Dalay Almeida, Norman Maury

Browse the full FM paper archive.