Language Preservation Problems in Parametric Timed Automata.

Étienne André Didier Lime Nicolas Markey

Published in: CoRR (2018)

Keyphrases

programming language
np complete
timed automata
high level
optimization problems
information retrieval
decision problems
language learning
specification language