Learning Symbolic Timed Models from Concrete Timed Data – Data and Replication Package

  • Simon Dierl (Contributor)
  • Falk Maria Howar (Contributor)
  • Sean Kauffman (Contributor)
  • Martin Kristjansen (Contributor)
  • Kim Guldstrand Larsen (Contributor)
  • Florian Lorber (Contributor)
  • Malte Mauritz (Contributor)

Dataset

Description

Artifacts for the publication “Learning Symbolic Timed Models from Concrete Timed Data”. This includes data, code, and a reproduction package.
Date made available2023
PublisherZenodo

Cite this