Amanote Research

Amanote Research

    RegisterSign 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 ScienceTheoretical Computer Science
2011English

Model Checking Liveness Properties of Genetic Regulatory Networks

English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2026 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy