%0 Journal Article %1 journals/tcad/YalcinkayaTDS23 %A Yalcinkaya, Beyazit %A Torfah, Hazem %A Desai, Ankush %A Seshia, Sanjit A. %D 2023 %J IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. %K dblp %N 11 %P 3679-3692 %T Ulgen: A Runtime Assurance Framework for Programming Safe Cyber-Physical Systems. %U http://dblp.uni-trier.de/db/journals/tcad/tcad42.html#YalcinkayaTDS23 %V 42

@article{journals/tcad/YalcinkayaTDS23, added-at = {2023-11-09T00:00:00.000+0100}, author = {Yalcinkaya, Beyazit and Torfah, Hazem and Desai, Ankush and Seshia, Sanjit A.}, biburl = {https://www.bibsonomy.org/bibtex/280b9ae12c399be833122dfb5fa20b34a/dblp}, ee = {https://doi.org/10.1109/TCAD.2023.3246386}, interhash = {a0d7c6c83313ddf8f886f7a1f15391e0}, intrahash = {80b9ae12c399be833122dfb5fa20b34a}, journal = {IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.}, keywords = {dblp}, month = {November}, number = 11, pages = {3679-3692}, timestamp = {2024-04-08T19:45:40.000+0200}, title = {Ulgen: A Runtime Assurance Framework for Programming Safe Cyber-Physical Systems.}, url = {http://dblp.uni-trier.de/db/journals/tcad/tcad42.html#YalcinkayaTDS23}, volume = 42, year = 2023 }