Charles Lesire, Stéphanie Roussel, David Doose, Christophe Grand. Synthesis of Real-Time Observers from Past-Time Linear Temporal Logic and Timed Specification. In International Conference on Robotics and Automation, ICRA 2019, Montreal, QC, Canada, May 20-24, 2019. pages 597-603, IEEE, 2019. [doi]
@inproceedings{LesireRDG19, title = {Synthesis of Real-Time Observers from Past-Time Linear Temporal Logic and Timed Specification}, author = {Charles Lesire and Stéphanie Roussel and David Doose and Christophe Grand}, year = {2019}, doi = {10.1109/ICRA.2019.8793754}, url = {https://doi.org/10.1109/ICRA.2019.8793754}, researchr = {https://researchr.org/publication/LesireRDG19}, cites = {0}, citedby = {0}, pages = {597-603}, booktitle = {International Conference on Robotics and Automation, ICRA 2019, Montreal, QC, Canada, May 20-24, 2019}, publisher = {IEEE}, isbn = {978-1-5386-6027-0}, }