2019
Provably Safe Controller Synthesis Using Safety Proofs as Building Blocks
Abstract
Citation
@inproceedingsKouskoulas_2019 doi: 10.1109/conisoft.2019.00015 url: https://doi.org/10.1109/conisoft.2019.00015 year: 2019 month: oct publisher: IEEE author: Kouskoulas Yanni and Schmidt Aurora and Jeannin Jean-Baptiste and Genin Daniel and Lopez Jessica title: Provably Safe Controller Synthesis Using Safety Proofs as Building Blocks booktitle: 2019 7th International Conference in Software Engineering Research and Innovation (CONISOFT)
Citation
@inproceedingsKouskoulas_2019 doi: 10.1109/conisoft.2019.00015 url: https://doi.org/10.1109/conisoft.2019.00015 year: 2019 month: oct publisher: IEEE author: Kouskoulas Yanni and Schmidt Aurora and Jeannin Jean-Baptiste and Genin Daniel and Lopez Jessica title: Provably Safe Controller Synthesis Using Safety Proofs as Building Blocks booktitle: 2019 7th International Conference in Software Engineering Research and Innovation (CONISOFT)