Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Grégory Batt
Continuous Valuations of Temporal Logic Specifications With Applications to Parameter Optimization and Robustness Measures
Theoretical Computer Science
Computer Science
Theoretical Computer Science
Model Checking Liveness Properties of Genetic Regulatory Networks