, For each R s.t. h(R) = Rev, for each R ? ls(R) and P ?{R }\{R} is consistent with E (This consistency can be verified by the condition (I, J) ? E s
reach(?, ?) = False for P and P satisfies Re, return P Bibliography ,
Exhaustive analysis of dynamical properties of biological regulatory networks with answer set programming, 2015 IEEE International Conference on Bioinformatics and Biomedicine (BIBM), pp.281-285, 2015. ,
Symbolic reachability analysis based on SAT-solvers, International Conference on Tools and Algorithms for the Construction and Analysis of Systems, pp.411-425, 2000. ,
Control of boolean networks: Hardness results and algorithms for tree structured networks, Journal of theoretical biology, vol.244, issue.4, pp.670-679, 2007. ,
Partial correlation and conditional correlation as measures of conditional independence, Australian & New Zealand Journal of Statistics, vol.46, issue.4, pp.657-664, 2004. ,
Knowledge representation, reasoning and declarative problem solving, 2003. ,
Behaviour preservation of a biological regulatory network when embedded into a larger network, Fundamenta Informaticae, vol.91, issue.3-4, pp.463-485, 2009. ,
URL : https://hal.archives-ouvertes.fr/hal-00646001
The Inferelator: an algorithm for learning parsimonious regulatory networks from systems-biology data sets de novo, Genome biology, vol.7, issue.5, p.36, 2006. ,
Practical nonparametric statistics, Journal of Quality Technology, vol.33, issue.2, p.260, 2001. ,
VIS: A system for verification and synthesis, International conference on computer aided verification, pp.428-432, 1996. ,
, Symbolic model checking: 10 20 states and beyond. Information and computation, vol.98, pp.142-170, 1992.
A heuristic for reachability problem in asynchronous binary automata networks, 2018. ,
Static analysis and stochastic search for reachability problem, 9th Static Analysis in Systems Biology, affiliated with Static Analysis Symposium, 2018. ,
URL : https://hal.archives-ouvertes.fr/hal-01951251
Using reachability properties of logic program for revising biological models, Progress of International Conference on Inductive Logic Programming, 2018. ,
URL : https://hal.archives-ouvertes.fr/hal-01951247
Boolean networks: Beyond generalized asynchronicity, International Workshop on Cellular Automata and Discrete Complex Systems, pp.29-42 ,
URL : https://hal.archives-ouvertes.fr/hal-01768359
, , 2018.
Complexity results for 1-safe nets, Theoretical Computer Science, vol.147, issue.1-2, pp.117-136, 1995. ,
NuSMV: a new symbolic model checker, International Journal on Software Tools for Technology Transfer, vol.2, issue.4, pp.410-425, 2000. ,
Bounded model checking using satisfiability solving. Formal methods in system design, vol.19, pp.7-34, 2001. ,
The birth of model checking, 25 Years of Model Checking, pp.1-26, 2008. ,
Design and synthesis of synchronization skeletons using branching time temporal logic, Workshop on Logic of Programs, pp.52-71, 1981. ,
2 5 years of model checking, International Andrei Ershov Memorial Conference on Perspectives of System Informatics, pp.26-40, 2014. ,
Model checking of real-time reachability properties using abstractions. Tools and Algorithms for the Construction and Analysis of Systems, pp.313-329, 1998. ,
Discovery of meaningful associations in genomic data using partial correlation coefficients, Bioinformatics, vol.20, issue.18, pp.3565-3574, 2004. ,
Mapping multivalued onto boolean dynamics, Journal of theoretical biology, vol.270, issue.1, pp.177-184, 2011. ,
URL : https://hal.archives-ouvertes.fr/hal-00656334
Polynomial models for systems biology: Data discretization and term order effect on dynamics, 2006. ,
A SAT-based algorithm for finding attractors in synchronous Boolean networks, IEEE/ACM transactions on computational biology and bioinformatics, vol.8, issue.5, pp.1393-1399, 2011. ,
Reachability in live and safe free-choice Petri nets is NP-complete, Theoretical Computer Science, vol.198, issue.1-2, pp.211-224, 1998. ,
Goanna-a static model checker, International Workshop on Formal Methods for Industrial Critical Systems, pp.297-300, 2006. ,
Learning to communicate with deep multi-agent reinforcement learning, Advances in Neural Information Processing Systems, pp.2137-2145, 2016. ,
Sufficient conditions for reachability in automata networks with priorities, Theoretical Computer Science, vol.608, pp.66-83, 2015. ,
URL : https://hal.archives-ouvertes.fr/hal-01202671
Iftach Nachman, and Dana Pe'er. Using Bayesian networks to analyze expression data, Journal of computational biology, vol.7, issue.3-4, pp.601-620, 2000. ,
Theory solving made easy with clingo 5, OASIcs-OpenAccess Series in Informatics, vol.52, 2016. ,
Classification of biological networks by their qualitative dynamics, Journal of Theoretical Biology, vol.54, issue.1, pp.85-107, 1975. ,
The logical analysis of continuous, non-linear biochemical control networks, Journal of theoretical Biology, vol.39, issue.1, pp.103-129, 1973. ,
A new heuristic for bad cycle detection using BDDs, International Conference on Computer Aided Verification, pp.268-278, 1997. ,
On the complexity of verifying concurrent transition systems, Information and Computation, vol.173, issue.2, pp.143-161, 2002. ,
Time out of joint: Attractors in asynchronous random Boolean networks, Proceedings of the Fourth European Conference on Artificial Life, pp.67-75, 1997. ,
Comparison of values of Pearson's and Spearman's correlation coefficients on the same sets of data. Quaestiones geographicae, vol.30, pp.87-93, 2011. ,
The model checker SPIN, IEEE Transactions on software engineering, vol.23, issue.5, pp.279-295, 1997. ,
MRBAYES: Bayesian inference of phylogenetic trees, Bioinformatics, vol.17, issue.8, pp.754-755, 2001. ,
The correlation coefficient and its prognostic significance, The Journal of Educational Research, vol.15, issue.5, pp.327-338, 1927. ,
Logic programming for boolean networks, IJCAI proceedings-international joint conference on artificial intelligence, vol.22, p.924, 2011. ,
Homeostasis and differentiation in random genetic control networks, Nature, vol.224, pp.177-178, 1969. ,
The SMBioNet method for discovering models of gene regulatory networks, Genes, genomes and genomics, vol.3, issue.1, pp.15-22, 2009. ,
Parameter Space Abstraction and Unfolding Semantics of Discrete Regulatory Networks, Theoretical Computer Science, 2018. ,
Markov chain monte carlo algorithms for the bayesian analysis of phylogenetic trees, Molecular biology and evolution, vol.16, issue.6, pp.750-759, 1999. ,
On reachability and controllability of switched boolean control networks, Automatica, vol.48, issue.11, pp.2917-2922, 2012. ,
Stability analysis for switched boolean networks under arbitrary switching signals, IEEE Transactions on Automatic Control, vol.59, issue.7, pp.1978-1982, 2014. ,
Symbolic systems biology: Hybrid modeling and analysis of biological networks, International Workshop on Hybrid Systems: Computation and Control, pp.660-672, 2004. ,
Learning probabilistic action models from interpretation transitions, Proceedings of the Technical Communications of the 31st International Conference on Logic Programming (ICLP 2015), pp.1-14, 2015. ,
An algorithm for the general Petri net reachability problem, SIAM Journal on computing, vol.13, issue.3, pp.441-460, 1984. ,
Symbolic model checking, Symbolic Model Checking, pp.25-60, 1993. ,
On converting CNF to DNF, Theoretical computer science, vol.347, issue.1-2, pp.325-335, 2005. ,
Model learning for robot control: a survey, Cognitive processing, vol.12, issue.4, pp.319-340, 2011. ,
From correlation to causation networks: a simple approximate learning algorithm and its application to high-dimensional plant gene expression data, BMC systems biology, vol.1, issue.1, p.37, 2007. ,
Pint: a static analyzer for transient dynamics of qualitative networks with IPython interface, CMSB 2017 -15th conference on Computational Methods for Systems Biology, vol.10545, pp.309-316, 2017. ,
Reduction of qualitative models of biological networks for transient dynamics analysis, IEEE/ACM Transactions on Computational Biology and Bioinformatics, vol.15, issue.4, pp.1167-1179, 2018. ,
Under-approximating cut sets for reachability in large scale automata networks, International Conference on Computer Aided Verification, pp.69-84, 2013. ,
Logical Modeling of Biological Systems, chapter Analyzing Large Network Dynamics with Process Hitting, pp.125-166, 2014. ,
Refining dynamics of gene regulatory networks in a stochastic ?-calculus framework, Transactions on computational systems biology xiii, pp.171-191, 2011. ,
From the Process Hitting to Petri Nets and Back, 2012. ,
Static analysis of biological regulatory networks dynamics using abstract interpretation, Mathematical Structures in Computer Science, vol.22, issue.04, pp.651-685, 2012. ,
Petri nets, ACM Computing Surveys (CSUR), vol.9, issue.3, pp.223-252, 1977. ,
Petri net representations in systems biology, Biochemical Society Transactions, vol.31, issue.6, pp.1513-1515, 2003. ,
Specification and verification of concurrent systems in CESAR, International Symposium on programming, pp.337-351, 1982. ,
Learning dynamics with synchronous, asynchronous and general semantics, the 28th International Conference on Inductive Logic Programming, 2018. ,
URL : https://hal.archives-ouvertes.fr/hal-01826564
Learning prime implicant conditions from interpretation transition, Inductive Logic Programming, pp.108-125, 2015. ,
URL : https://hal.archives-ouvertes.fr/hal-01710486
Inductive learning from state transitions over continuous domains, International Conference on Inductive Logic Programming, pp.124-139, 2017. ,
URL : https://hal.archives-ouvertes.fr/hal-01655644
ASP for construction and validation of regulatory biological networks, Logical Modeling of Biological Systems, pp.167-206, 2014. ,
URL : https://hal.archives-ouvertes.fr/hal-02272463
Active learning of relational action models, International Conference on Inductive Logic Programming, pp.302-316 ,
, , 2011.
Attractor analysis of asynchronous boolean models of signal transduction networks, Journal of theoretical biology, vol.266, issue.4, pp.641-656, 2010. ,
A logical model provides insights into T cell receptor signaling, PLoS computational biology, vol.3, issue.8, p.163, 2007. ,
The logic of EGFR/ErbB signaling: theoretical properties and analysis of high-throughput data, PLoS computational biology, vol.5, issue.8, p.1000438, 2009. ,
GeneNetWeaver: in silico benchmark generation and performance profiling of network inference methods, Bioinformatics, vol.27, issue.16, pp.2263-2270, 2011. ,
Regulatory network of gene expression in the drought and cold stress responses, Current opinion in plant biology, vol.6, issue.5, pp.410-417, 2003. ,
A hybrid model of mammalian cell cycle regulation, PLoS computational biology, vol.7, issue.2, p.1001077, 2011. ,
Qualitative dynamics of piecewise-linear differential equations: a discrete mapping approach, Dynamics and stability of Systems, vol.4, issue.3-4, pp.565-583, 1989. ,
Depth-first search and linear graph algorithms, SIAM journal on computing, vol.1, issue.2, pp.146-160, 1972. ,
Dynamical behaviour of biological regulatory networks-ii. immunity control in bacteriophage lambda, Bulletin of mathematical biology, vol.57, issue.2, pp.277-297, 1995. ,
Logical analysis of systems comprising feedback loops, Journal of Theoretical Biology, vol.73, issue.4, pp.631-656, 1978. ,
Biological feedback, 1990. ,
URL : https://hal.archives-ouvertes.fr/hal-00087681
The segment polarity network is a robust developmental module, Nature, vol.406, issue.6792, p.188, 2000. ,
Comparing model checking and static program analysis: A case study in error detection approaches, proceedings of 5th International Conference on Systems Software Verification, pp.1-7, 2010. ,
SReach: A probabilistic bounded delta-reachability analyzer for stochastic hybrid systems, International Conference on Computational Methods in Systems Biology, pp.15-27, 2015. ,
Checking reachability properties for timed automata via SAT, Fundamenta Informaticae, vol.55, issue.2, pp.223-241, 2003. ,
Completing SBGN-AF networks by logic-based hypothesis finding, International Conference on Formal Methods in Macro-Biology, vol.109, p.110, 2014. ,
URL : https://hal.archives-ouvertes.fr/hal-01110133