Combining refinement of parametric models with goal-oriented reduction of dynamics

DOI10.1007/978-3-030-11245-5_26MaRDI QIDQ2287116zbMATH OpenOpenAlexFDO

Authors Stefan Haar, Juraj Kolčák, Loïc Paulevé

Publication date 23 January 2020

Full work available at URL https://arxiv.org/abs/1811.12377

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Parameter space abstraction and unfolding semantics of discrete regulatory networks
• Goal-oriented reduction of automata networks
• Dynamically consistent reduction of logical regulatory graphs
• Parameter synthesis through temporal logic specifications
• Model Checking Genetic Regulatory Networks with Parameter Uncertainty

Cited in

(2)

• Parameter space abstraction and unfolding semantics of discrete regulatory networks
• Goal-oriented reduction of automata networks

This page was built for publication: Combining refinement of parametric models with goal-oriented reduction of dynamics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2287116)