%0 Conference Paper %1 conf/icra/LesireRDG19 %A Lesire, Charles %A Roussel, Stéphanie %A Doose, David %A Grand, Christophe %B ICRA %D 2019 %I IEEE %K dblp %P 597-603 %T Synthesis of Real-Time Observers from Past-Time Linear Temporal Logic and Timed Specification. %U http://dblp.uni-trier.de/db/conf/icra/icra2019.html#LesireRDG19 %@ 978-1-5386-6027-0

@inproceedings{conf/icra/LesireRDG19, added-at = {2024-10-06T00:00:00.000+0200}, author = {Lesire, Charles and Roussel, Stéphanie and Doose, David and Grand, Christophe}, biburl = {https://www.bibsonomy.org/bibtex/27df7f8bef4aeb592d43e1588f3422fd1/dblp}, booktitle = {ICRA}, crossref = {conf/icra/2019}, ee = {https://doi.org/10.1109/ICRA.2019.8793754}, interhash = {de6e4d5ec8e209e9db7a6845b683e696}, intrahash = {7df7f8bef4aeb592d43e1588f3422fd1}, isbn = {978-1-5386-6027-0}, keywords = {dblp}, pages = {597-603}, publisher = {IEEE}, timestamp = {2024-10-07T08:53:06.000+0200}, title = {Synthesis of Real-Time Observers from Past-Time Linear Temporal Logic and Timed Specification.}, url = {http://dblp.uni-trier.de/db/conf/icra/icra2019.html#LesireRDG19}, year = 2019 }