Static analysis and stochastic search for reachability problem

DOI10.1016/j.entcs.2020.06.008zbMath1458.92032OpenAlexW2938679187WikidataQ113317322 ScholiaQ113317322MaRDI QIDQ2229143

Olivier Roux, Xinwei Chai, Tony Ribeiro, Morgan Magnin, Katsumi Inoue

Publication date: 22 February 2021

Full work available at URL: https://doi.org/10.1016/j.entcs.2020.06.008

zbMATH Keywords

heuristicsmodel checkinganswer set programmingreachability problemasynchronous binary automata networklocal causality graph

Mathematics Subject Classification ID

Attainable sets, reachability (93B03) Large-scale systems (93A15) Systems biology, networks (92C42)

Uses Software

• Clingo

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Complexity results for 1-safe nets
• On reachability and controllability of switched Boolean control networks
• Sufficient conditions for reachability in automata networks with priorities
• Modeling biological systems in stochastic concurrent constraint programming
• Reachability in live and safe free-choice Petri nets is NP-complete
• Symbolic model checking: \(10^{20}\) states and beyond
• Dynamical behaviour of biological regulatory networks. II: Immunity control in bacteriophage lambda
• Attractor analysis of asynchronous Boolean models of signal transduction networks
• Control of Boolean networks: hardness results and algorithms for tree structured networks
• Learning from interpretation transition
• Parameter space abstraction and unfolding semantics of discrete regulatory networks
• On converting CNF to DNF
• Static analysis of Biological Regulatory Networks dynamics using abstract interpretation
• Stability Analysis for Switched Boolean Networks Under Arbitrary Switching Signals
• Refining Dynamics of Gene Regulatory Networks in a Stochastic π-Calculus Framework
• $$2^5$$ Years of Model Checking
• The Birth of Model Checking
• An Algorithm for the General Petri Net Reachability Problem
• Knowledge Representation, Reasoning and Declarative Problem Solving
• Depth-First Search and Linear Graph Algorithms
• Bounded model checking using satisfiability solving
• Mapping multivalued onto Boolean dynamics

This page was built for publication: Static analysis and stochastic search for reachability problem