Unbounded-2-Bounded: A Two-Phase Approximation for Model Checking Unbounded Until Properties of Probabilistic Systems

doi 10.31274/etd-180810-214
Full Text
Abstract

Available in full text

Date

Unknown

Authors
Publisher

Iowa State University

Related search

Type Checking Liveness for Collaborative Processes With Bounded and Unbounded Recursion

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

Breaking ofPTSymmetry in Bounded and Unbounded Scattering Systems

Physical Review X
AstronomyPhysics
2013English

Monitor Circuits for LTL With Bounded and Unbounded Future

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2009English

Probabilistic Model Checking of Regenerative Concurrent Systems

IEEE Transactions on Software Engineering
Software
2016English

Approximation of a Semilinear Elliptic Problem in an Unbounded Domain

ESAIM: Mathematical Modelling and Numerical Analysis
Numerical AnalysisApplied MathematicsAnalysisSimulationModelingComputational Mathematics
2003English

Statistical Mechanics of Systems of Unbounded Spins

Communications in Mathematical Physics
Nonlinear PhysicsMathematical PhysicsStatistical
1980English

Context-Bounded Model Checking of LTL Properties for ANSI-C Software

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Logarithmic Sobolev Inequalities for Unbounded Spin Systems Revisited

Lecture Notes in Mathematics
Number TheoryAlgebra
2001English

Two Problems on Potential Theory for Unbounded Sets

Mathematica Scandinavica
Mathematics
1998English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy