Execution-Time Opacity Problems in One-Clock Parametric Timed Automata

Étienne André, Johan Arcile, Engel Lefaucheux. Execution-Time Opacity Problems in One-Clock Parametric Timed Automata. In Siddharth Barman, Slawomir Lasota 0001, editors, 44th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2024, December 16-18, 2024, Gandhinagar, Gujarat, India. Volume 323 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2024. [doi]

Abstract

Abstract is missing.