Synthesis of Real-Time Observers from Past-Time Linear Temporal Logic and Timed Specification

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]

Abstract

Abstract is missing.