A Multi-level Refinement Approach for Structural Synthesis of Optimal Probabilistic Models

DOI10.3233/FI-2021-2011zbMath1497.68131OpenAlexW3128539113MaRDI QIDQ4991932

Toufik Benouhiba

Publication date: 4 June 2021

Published in: Fundamenta Informaticae (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.3233/fi-2021-2011

zbMATH Keywords

refinementconstraint satisfactionprobabilistic model checkingsearch-based software engineeringmodel synthesis

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Theory of software (68N99) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)

Uses Software

• MCGP
• PRISM
• Genocop
• JaCoP
• GitHub
• PROPhESY

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Optimization by Simulated Annealing
• Hoare logic-based genetic programming
• Cartesian genetic programming.
• A logic for reasoning about time and reliability
• A multivariate Kolmogorov-Smirnov test of goodness of fit
• Syntax-guided optimal synthesis for chemical reaction networks
• Model approach to grammatical evolution: theory and case study
• Tools and algorithms for the construction and analysis of systems. 25th international conference, TACAS 2019, held as part of the European joint conferences on theory and practice of software, ETAPS 2019, Prague, Czech Republic, April 6--11, 2019. Proceedings. Part II
• Optimizing synthesis with metasketches
• Memory space requirements for self-stabilizing leader election protocols
• Model Repair for Probabilistic Systems
• Linear Genetic Programming
• The Birth of Model Checking
• Refinement Calculus
• Empirical Likelihood Ratio Test With Distribution Function Constraints
• Pareto Curves for Probabilistic Model Checking
• Generation of discrete distributions from biased coins
• Model Checking-Based Genetic Programming with an Application to Mutual Exclusion
• Model-checking continuous-time Markov chains
• On a Test of Whether one of Two Random Variables is Stochastically Larger than the Other

This page was built for publication: A Multi-level Refinement Approach for Structural Synthesis of Optimal Probabilistic Models