2 papers
cs.FL2025
Hyper pattern matching
Masaki Waga, Ãtienne André
In runtime verification, pattern matching, which searches for occurrences of a specific pattern within a word, provides more information than a simple violation detection of the mo…
eess.SY2024
Tuning Trains Speed in Railway Scheduling
Ãtienne André
Railway scheduling consists in ensuring that a set of trains evolve in a shared rail network without collisions, while meeting schedule constraints. This problem is notoriously dif…