%0 Conference Paper %1 conf/amcc/Baird023 %A Baird, Luke %A Coogan, Samuel %B ACC %D 2023 %I IEEE %K dblp %P 3535-3540 %T Runtime Assurance from Signal Temporal Logic Safety Specifications. %U http://dblp.uni-trier.de/db/conf/amcc/acc2023.html#Baird023 %@ 979-8-3503-2806-6

@inproceedings{conf/amcc/Baird023, added-at = {2024-02-05T00:00:00.000+0100}, author = {Baird, Luke and Coogan, Samuel}, biburl = {https://www.bibsonomy.org/bibtex/2fc384bdf311b3b97f4bcddd452e696f3/dblp}, booktitle = {ACC}, crossref = {conf/amcc/2023}, ee = {https://doi.org/10.23919/ACC55779.2023.10156487}, interhash = {8ac9a20c2c10c1d45134142490781b6b}, intrahash = {fc384bdf311b3b97f4bcddd452e696f3}, isbn = {979-8-3503-2806-6}, keywords = {dblp}, pages = {3535-3540}, publisher = {IEEE}, timestamp = {2024-04-09T13:48:39.000+0200}, title = {Runtime Assurance from Signal Temporal Logic Safety Specifications.}, url = {http://dblp.uni-trier.de/db/conf/amcc/acc2023.html#Baird023}, year = 2023 }