Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Aurélien Rizk
Continuous Valuations of Temporal Logic Specifications With Applications to Parameter Optimization and Robustness Measures
Theoretical Computer Science
Computer Science
Theoretical Computer Science
On Temporal Logic Constraint Solving for Analyzing Numerical Data Time Series
Theoretical Computer Science
Computer Science
Theoretical Computer Science
