MRMC

From MaRDI portal
Software:16314



swMATH4129MaRDI QIDQ16314


No author found.





Related Items (67)

Lumpability for uncertain continuous-time Markov chainsCoupling and Importance Sampling for Statistical Model CheckingPerformance Model Checking Scenario-Aware DataflowObserving Continuous-Time MDPs by 1-Clock Timed AutomataHierarchical Counterexamples for Discrete-Time Markov ChainsEfficient CSL Model Checking Using StratificationSolving systems of bilinear equations for transition rate reconstructionQuantitative Approximation of the Probability Distribution of a Markov Process by Formal AbstractionsPrecisely deciding CSL formulas through approximate model checking for CTMCsFault trees on a diet: automated reduction by graph rewritingA Tutorial on Interactive Markov ChainsSymblicit algorithms for mean-payoff and shortest path in monotonic Markov decision processesCharacterization and computation of infinite-horizon specifications over Markov processesDecidability of Approximate Skolem Problem and Applications to Logical Verification of Dynamical Properties of Markov ChainsSpecification and optimal reactive synthesis of run-time enforcement shieldsMinimal counterexamples for linear-time probabilistic verificationMultiphase until formulas over Markov reward models: an algebraic approachA formal approach to adaptive software: continuous assurance of non-functional requirementsProviding Evidence of Likely Being on Time: Counterexample Generation for CTMC Model CheckingAbstraction of Probabilistic SystemsExtended Directed Search for Probabilistic Timed ReachabilityStochastic hybrid systems: a powerful framework for complex, large scale applicationsApproximate model checking of stochastic hybrid systemsMarkov chains and Markov decision processes in Isabelle/HOLFormal System VerificationThree-valued abstraction for probabilistic systemsComparative Analysis of Statistical Model Checking ToolsModel Based Importance Analysis for Minimal Cut SetsModel Checking HML on Piecewise-Constant Inhomogeneous Markov ChainsExact quantitative probabilistic model checking through rational searchImproving active Mealy machine learning for protocol conformance testingAutomatic Generation of Moment-Based Invariants for Prob-Solvable LoopsEfficient CTMC Model Checking of Linear Real-Time ObjectivesFormal reliability analysis of redundancy architecturesModel Checking of Continuous-Time Markov Chains Against Timed Automata SpecificationsFormal Methods for Biochemical Signalling PathwaysAutomata-Based CSL Model CheckingA Progress Measure for Explicit-State Probabilistic Model-CheckersFORMALISMS FOR SPECIFYING MARKOVIAN POPULATION MODELSModel checking for probabilistic timed automataAlgorithmic probabilistic game semantics. Playing games with automataDynamic Bayesian networks for formal verification of structured stochastic processesDistributed Markovian Bisimulation Reduction aimed at CSL Model CheckingCCMC: A Conditional CSL Model Checker for Continuous-Time Markov ChainsEnergy-Utility Analysis for Resilient Systems Using Probabilistic Model CheckingProbabilistic Model Checking for Energy-Utility AnalysisPerformability assessment by model checking of Markov reward modelsCounterexample Generation for Discrete-Time Markov Models: An Introductory SurveyA Framework for Verification of Software with Time and ProbabilitiesThree-Valued Abstraction for Continuous-Time Markov ChainsBisimulation Minimisation Mostly Speeds Up Probabilistic Model CheckingMixing logics and rewards for the component-oriented specification of performance measuresCSL model checking algorithms for QBDsModel checking mobile stochastic logicCost Preserving Bisimulations for Probabilistic AutomataDistributed Synthesis in Continuous TimeFormal Dependability Modeling and Analysis: A SurveyMean-Field Limits Beyond Ordinary Differential EquationsQuantitative Abstractions for Collective Adaptive SystemsFormalisms for Specifying Markovian Population ModelsTime-Bounded Model Checking of Infinite-State Continuous-Time Markov ChainsLTL Model Checking of Time-Inhomogeneous Markov ChainsMoment-based analysis of Bayesian network propertiesTowards light-weight probabilistic model checkingComputing Cumulative Rewards Using Fast Adaptive UniformizationEfficient approximation of optimal control for continuous-time Markov gamesSmoothed model checking for uncertain continuous-time Markov chains


This page was built for software: MRMC