Continuous valuations of temporal logic specifications with applications to parameter optimization and robustness measures

Aurélien Rizk, Grégory Batt, François Fages, Sylvain Soliman. Continuous valuations of temporal logic specifications with applications to parameter optimization and robustness measures. Theoretical Computer Science, 412(26):2827-2839, 2011. [doi]

Abstract

Abstract is missing.