MaRDI QIDQ4989408
Étienne André, Didier Lime, Mathias Ramparison
Publication date: 25 May 2021
Full work available at URL: https://arxiv.org/abs/1904.08824
zbMATH Keywords
timed automata; decidability; parametric timed automata; clock regions; parametric difference bound matrix; parametric updates
Mathematics Subject Classification ID
03B70: Logic in computer science
68-XX: Computer science
Uses Software