Parametric Updates in Parametric Timed Automata.

Étienne André Didier Lime Mathias Ramparison

Published in: FORTE (2019)

Keyphrases

timed automata
parametric models
social networks
artificial intelligence
information systems
feature selection
semi parametric