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

Charles Lesire, Stphanie Roussel, David Doose, Christophe Grand

Browse the full ICRA paper archive.