Authors
Étienne André
Publication date
2023/4/22
Description
An open parameter synthesis problem Page 1 SynCoP 2023 22nd April 2023 A trivial yet open
synthesis problem Étienne André Université Sorbonne Paris Nord, LIPN, CNRS UMR 7030,
F-93430 Villetaneuse, France Joint problem with Didier Lime and Olivier H. Roux Étienne
André et al. (Université Sorbonne Paris Nord) An open problem 22nd April 2023 1 / 10 Page
2 Recalling timed automata (TA) Finite state automaton (sets of locations) working finished
coffee [AD94] Rajeev Alur and David L. Dill. “A theory of timed automata”. In: Theoretical
Computer Science 126.2 (Apr. 1994), pp. 183–235 Étienne André et al. (Université Sorbonne
Paris Nord) An open problem 22nd April 2023 2 / 10 Page 3 Recalling timed automata (TA)
Finite state automaton (sets of locations and actions) working finished coffee done restart
drink drank [AD94] Rajeev Alur and David L. Dill. “A theory of timed automata”. In: Theoretical …
Scholar articles