Parametric updates in parametric timed automata
We introduce a new class of Parametric Timed Automata (PTAs) where we allow clocks to be compared to parameters in guards, as in classic PTAs, but also to be updated to parameters. We focus here on the EF-emptiness problem: "is the set of parameter valuations for which some given location is re...
| Główni autorzy: | , , |
|---|---|
| Format: | Artykuł |
| Język: | English |
| Wydane: |
Logical Methods in Computer Science e.V.
2021-05-01
|
| Seria: | Logical Methods in Computer Science |
| Hasła przedmiotowe: | |
| Dostęp online: | https://lmcs.episciences.org/5799/pdf |