On Completeness of Liveness Synthesis for Parametric Timed Automata (Extended Abstract)

Jaco van de Pol; Laure Petrucci

doi:10.1007/978-3-030-73785-6_1

On Completeness of Liveness Synthesis for Parametric Timed Automata (Extended Abstract)

Jaco van de Pol^*
, Laure Petrucci

^*Corresponding author for this work

Formal Methods and Tools

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

Abstract

We discuss what kind of completeness guarantees can be provided by semi-algorithms for the synthesis of the set of parameters under which a parametric timed automata meets some liveness property.

Original language	English
Title of host publication	Recent Trends in Algebraic Development Techniques
Subtitle of host publication	25th International Workshop, WADT 2020 Virtual Event, April 29, 2020 Revised Selected Papers
Editors	Markus Roggenbach
Publisher	Springer
Pages	3-10
Number of pages	8
ISBN (Electronic)	978-3-030-73785-6
ISBN (Print)	978-3-030-73784-9
DOIs	https://doi.org/10.1007/978-3-030-73785-6_1
Publication status	Published - 2021
Event	25th International Workshop on Algebraic Development Techniques, WADT 2020 - Dublin, Ireland Duration: 29 Apr 2020 → 29 Apr 2020 Conference number: 25

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	12669
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	25th International Workshop on Algebraic Development Techniques, WADT 2020
Abbreviated title	WADT 2020
Country/Territory	Ireland
City	Dublin
Period	29/04/20 → 29/04/20

Keywords

n/a OA procedure

Access to Document

10.1007/978-3-030-73785-6_1

Cite this

van de Pol, J., & Petrucci, L. (2021). On Completeness of Liveness Synthesis for Parametric Timed Automata (Extended Abstract). In M. Roggenbach (Ed.), Recent Trends in Algebraic Development Techniques: 25th International Workshop, WADT 2020 Virtual Event, April 29, 2020 Revised Selected Papers (pp. 3-10). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 12669). Springer. https://doi.org/10.1007/978-3-030-73785-6_1

van de Pol, Jaco ; Petrucci, Laure. / On Completeness of Liveness Synthesis for Parametric Timed Automata (Extended Abstract). Recent Trends in Algebraic Development Techniques: 25th International Workshop, WADT 2020 Virtual Event, April 29, 2020 Revised Selected Papers. editor / Markus Roggenbach. Springer, 2021. pp. 3-10 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{3541c464caae4d0d9dfb55c3d73f703e,

title = "On Completeness of Liveness Synthesis for Parametric Timed Automata (Extended Abstract)",

abstract = "We discuss what kind of completeness guarantees can be provided by semi-algorithms for the synthesis of the set of parameters under which a parametric timed automata meets some liveness property.",

keywords = "n/a OA procedure",

author = "\{van de Pol\}, Jaco and Laure Petrucci",

note = "Publisher Copyright: {\textcopyright} 2021, Springer Nature Switzerland AG.; 25th International Workshop on Algebraic Development Techniques, WADT 2020, WADT 2020 ; Conference date: 29-04-2020 Through 29-04-2020",

year = "2021",

doi = "10.1007/978-3-030-73785-6\_1",

language = "English",

isbn = "978-3-030-73784-9 ",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer",

pages = "3--10",

editor = "Markus Roggenbach",

booktitle = "Recent Trends in Algebraic Development Techniques",

address = "Germany",

}

van de Pol, J & Petrucci, L 2021, On Completeness of Liveness Synthesis for Parametric Timed Automata (Extended Abstract). in M Roggenbach (ed.), Recent Trends in Algebraic Development Techniques: 25th International Workshop, WADT 2020 Virtual Event, April 29, 2020 Revised Selected Papers. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 12669, Springer, pp. 3-10, 25th International Workshop on Algebraic Development Techniques, WADT 2020, Dublin, Ireland, 29/04/20. https://doi.org/10.1007/978-3-030-73785-6_1

On Completeness of Liveness Synthesis for Parametric Timed Automata (Extended Abstract). / van de Pol, Jaco; Petrucci, Laure.
Recent Trends in Algebraic Development Techniques: 25th International Workshop, WADT 2020 Virtual Event, April 29, 2020 Revised Selected Papers. ed. / Markus Roggenbach. Springer, 2021. p. 3-10 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 12669).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - On Completeness of Liveness Synthesis for Parametric Timed Automata (Extended Abstract)

AU - van de Pol, Jaco

AU - Petrucci, Laure

N1 - Conference code: 25

PY - 2021

Y1 - 2021

N2 - We discuss what kind of completeness guarantees can be provided by semi-algorithms for the synthesis of the set of parameters under which a parametric timed automata meets some liveness property.

AB - We discuss what kind of completeness guarantees can be provided by semi-algorithms for the synthesis of the set of parameters under which a parametric timed automata meets some liveness property.

KW - n/a OA procedure

UR - https://www.scopus.com/pages/publications/85104726564

U2 - 10.1007/978-3-030-73785-6_1

DO - 10.1007/978-3-030-73785-6_1

M3 - Conference contribution

AN - SCOPUS:85104726564

SN - 978-3-030-73784-9

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 3

EP - 10

BT - Recent Trends in Algebraic Development Techniques

A2 - Roggenbach, Markus

PB - Springer

T2 - 25th International Workshop on Algebraic Development Techniques, WADT 2020

Y2 - 29 April 2020 through 29 April 2020

ER -

van de Pol J, Petrucci L. On Completeness of Liveness Synthesis for Parametric Timed Automata (Extended Abstract). In Roggenbach M, editor, Recent Trends in Algebraic Development Techniques: 25th International Workshop, WADT 2020 Virtual Event, April 29, 2020 Revised Selected Papers. Springer. 2021. p. 3-10. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-030-73785-6_1

On Completeness of Liveness Synthesis for Parametric Timed Automata (Extended Abstract)

Abstract

Publication series

Conference

Keywords

Access to Document

Other files and links

Fingerprint

Cite this