%0 Conference Paper %1 conf/icfem/SelvarajKAF22 %A Selvaraj, Yuvaraj %A Krook, Jonas %A Ahrendt, Wolfgang %A Fabian, Martin %B ICFEM %D 2022 %E Riesco, Adrián %E Zhang, Min %I Springer %K dblp %P 281-297 %T On How to Not Prove Faulty Controllers Safe in Differential Dynamic Logic. %U http://dblp.uni-trier.de/db/conf/icfem/icfem2022.html#SelvarajKAF22 %V 13478 %@ 978-3-031-17244-1

@inproceedings{conf/icfem/SelvarajKAF22, added-at = {2022-10-18T00:00:00.000+0200}, author = {Selvaraj, Yuvaraj and Krook, Jonas and Ahrendt, Wolfgang and Fabian, Martin}, biburl = {https://www.bibsonomy.org/bibtex/28570f2de180df1649a123425cf9c3cfb/dblp}, booktitle = {ICFEM}, crossref = {conf/icfem/2022}, editor = {Riesco, Adrián and Zhang, Min}, ee = {https://doi.org/10.1007/978-3-031-17244-1_17}, interhash = {2652fabf5e915537443fe258cb1e47a8}, intrahash = {8570f2de180df1649a123425cf9c3cfb}, isbn = {978-3-031-17244-1}, keywords = {dblp}, pages = {281-297}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T10:19:49.000+0200}, title = {On How to Not Prove Faulty Controllers Safe in Differential Dynamic Logic.}, url = {http://dblp.uni-trier.de/db/conf/icfem/icfem2022.html#SelvarajKAF22}, volume = 13478, year = 2022 }