Learning Symbolic Timed Models from Concrete Timed Data

Simon Dierl, Falk Maria Howar, Sean Kauffman*, Martin Kristjansen, Kim Guldstrand Larsen, Florian Lorber, Malte Mauritz

*Kontaktforfatter

Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

1 Citationer (Scopus)
  • 1 Igangværende

Søgeresultater