%0 Conference Paper %1 conf/amcc/NiuC18 %A Niu, Luyao %A Clark, Andrew %B ACC %D 2018 %I IEEE %K dblp %P 3544-3551 %T Secure Control Under Linear Temporal Logic Constraints. %U http://dblp.uni-trier.de/db/conf/amcc/acc2018.html#NiuC18 %@ 978-1-5386-5428-6

@inproceedings{conf/amcc/NiuC18, added-at = {2023-06-06T00:00:00.000+0200}, author = {Niu, Luyao and Clark, Andrew}, biburl = {https://www.bibsonomy.org/bibtex/2ee0c4f8173e4641881e12c5d0a3e2494/dblp}, booktitle = {ACC}, crossref = {conf/amcc/2018}, ee = {https://doi.org/10.23919/ACC.2018.8431595}, interhash = {0b4642c56075451591afc8206ff2adaf}, intrahash = {ee0c4f8173e4641881e12c5d0a3e2494}, isbn = {978-1-5386-5428-6}, keywords = {dblp}, pages = {3544-3551}, publisher = {IEEE}, timestamp = {2024-04-09T13:50:06.000+0200}, title = {Secure Control Under Linear Temporal Logic Constraints.}, url = {http://dblp.uni-trier.de/db/conf/amcc/acc2018.html#NiuC18}, year = 2018 }