Verification of Behavior Trees using Linear Constrained Horn Clauses
Henn, Thomas (Corresponding author); Völker, Marcus; Kowalewski, Stefan; Trinh, Minh; Petrovic, Oliver; Brecher, Christian
(2022)
Buchbeitrag, Beitrag zu einem Tagungsband
In: Formal Methods for Industrial Critical Systems (fmics 2022)
Seite(n)/Artikel-Nr.: 211-225
Einrichtungen
- Internet of Production [080067]
- Fachgruppe Informatik [120000]
- Lehrstuhl für Informatik 11 (Embedded Software) [122810]
- Werkzeugmaschinenlabor WZL der RWTH Aachen [417200]
- Lehrstuhl für Werkzeugmaschinen [417310]
Identifikationsnummern
- DOI: 10.1007/978-3-031-15008-1_14
- RWTH PUBLICATIONS: RWTH-2023-00708