DMCA

Continuous Valuations of Temporal Logic Specifications with applications to Parameter Optimization and Robustness Measures (2009)

by Aurélien Rizk , Grégory Batt , François Fages , Sylvain Soliman
Citations:12 - 1 self