Georgios Bakirtzis, Ufuk Topcu. AlgebraicSystems: Compositional Verification for Autonomous System Design. In 13th ACM/IEEE International Conference on Cyber-Physical Systems, ICCPS 2022, Milano, Italy, May 4-6, 2022. pages 308-309, IEEE, 2022. [doi]
@inproceedings{BakirtzisT22, title = {AlgebraicSystems: Compositional Verification for Autonomous System Design}, author = {Georgios Bakirtzis and Ufuk Topcu}, year = {2022}, doi = {10.1109/ICCPS54341.2022.00045}, url = {https://doi.org/10.1109/ICCPS54341.2022.00045}, researchr = {https://researchr.org/publication/BakirtzisT22}, cites = {0}, citedby = {0}, pages = {308-309}, booktitle = {13th ACM/IEEE International Conference on Cyber-Physical Systems, ICCPS 2022, Milano, Italy, May 4-6, 2022}, publisher = {IEEE}, isbn = {978-1-6654-0967-4}, }