Published September 19, 2024 | Version v1
Dataset Open

Case studies related to the manuscript Tuning Trains Speed in Railway Scheduling

Authors/Creators

  • 1. ROR icon Université Sorbonne Paris Nord
  • 2. ROR icon Institut Universitaire de France

Contributors

  • 1. ROR icon Université Sorbonne Paris Nord
  • 2. ROR icon Institut Universitaire de France

Description

This dataset is dedicated to the case studies related to the manuscript Tuning Trains Speed in Railway Scheduling by Étienne André, published in the proceedings of the 25th International Conference on Formal Engineering Methods (ICFEM 2024).

See README.md for more information.

Files

experiments-train-scheduling.zip

Files (4.9 MB)

Name Size Download all
md5:7752cc3ce0d6a581c413c837dd6a7bed
4.9 MB Preview Download

Additional details

Related works

Is identical to
Dataset: https://www.imitator.fr/static/ICFEM24/ (URL)

Funding

Agence Nationale de la Recherche
BisoUS - Meilleure synthèse pour les systèmes quantitatifs sous-spécifiés ANR-22-CE48-0012

Dates

Created
2024

Software

Repository URL
https://github.com/imitator-model-checker/imitator/
Development Status
Active