Datensatz Zitierlink: 
http://hdl.handle.net/20.500.12708/15511
https://doi.org/10.34727/2020/isbn.978-3-85448-042-6_15
-
Titel: 
Reactive Synthesis from Extended Bounded Response LTL Specifications
en
Zitat: 
Cimatti, A., GEATTI, L., Gigante, N., MONTANARI, A., & Tonetta, S. (2020). Reactive Synthesis from Extended Bounded Response LTL Specifications. In A. Ivrii & O. Strichman (Eds.), Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design – FMCAD 2020 (pp. 83–92). TU Wien Academic Press. https://doi.org/10.34727/2020/isbn.978-3-85448-042-6_15
-
reposiTUm-DOI: 
10.34727/2020/isbn.978-3-85448-042-6_15
-
CatalogPlus: 
AC17202241
-
Publikationstyp: 
Konferenzbeitrag - Full-Paper Contribution
de
Sprache: 
Englisch
-
Autor_innen: 
Cimatti, Alessandro 
GEATTI, Luca 
Gigante, Nicola 
MONTANARI, Angelo 
Tonetta, Stefano 
-
Herausgeber_innen: 
Ivrii, Alexander 
Strichman, Ofer 
-
Organisations­einheit: 
E192-04 - Forschungsbereich Formal Methods in Systems Engineering 
-
Reihe: 
Conference Series: Formal Methods in Computer-Aided Design 
-
Erschienen in: 
Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design – FMCAD 2020 
-
Band: 
1
-
Datum (veröffentlicht): 
2020
-
Umfang: 
10
-
Verlag: 
TU Wien Academic Press, Wien
-
Keywords: 
computer-aided system design
en
Zugehörige Publikationen und Daten in reposiTUm: ist Teil von: 
10.34727/2020/isbn.978-3-85448-042-6
-
Lizenz: 
CC BY 4.0 CC BY 4.0
en
Enthalten in den Sammlungen:
Open Access Series
Conference Paper

Miniaturbild
15_Reactive Synthesis from Extended Bounded Response LTL Specifications.pdf
Adobe PDF
(568.86 kB)
Published version
Open Access
Zur Langanzeige

Seiten Aufrufe

755
aufgerufen am 23.11.2023

Download(s)

211
aufgerufen am 23.11.2023

Google ScholarTM

Check