[PDF] Top 20 A branching-time theory for probabilistic model-checking
Has 10000 "A branching-time theory for probabilistic model-checking" found on our website. Below are the top 20 most common "A branching-time theory for probabilistic model-checking".
A branching-time theory for probabilistic model-checking
... as probabilistic experiments by rst unrolling the NPLTS into a (potentially innite) tree; outcomes are then subtrees obtained by elimi- nating all but one probabilistic transition from each occurrence of ... See full document
14
Counterexample Generation for Conditional Probability in Probabilistic Model Checking
... Probability model has been widely applied in the analysis and design process of software and hardware ...discrete time Markov chain (DTMC) and continuous time Markov chain (CTMC) and so ...specific ... See full document
8
Compressed Set Representations and their Effectiveness in Probabilistic Model Checking
... As indicated by the research question, we are interested in both the performance and the memory usage of the set representations. For measuring the performance, the Modest Toolset reports the time spent during the ... See full document
10
On the use of probabilistic model-checking for the verification of prognostics applications
... verified via property #3 in Table I. Fig. 5 shows the results. As Fig. 5 confirms, the difference between transient and permanent failures is evident, i.e., transient failures lead to higher failure probabilities. ... See full document
7
Probabilistic Model Checking on Propositional Projection Temporal Logic
... P ; Q (P chop Q) represents a computation of P followed by Q, and the intervals for P and Q share a common state. That is, P holds from now until some point in future and from that time point Q holds. Note that P ... See full document
7
Probabilistic Model Checking of Robots Deployed in Extreme Environments
... sive time and power consumption, especially for ...parametric model checking (ParaMC), proposed by (Daws 2005), provides an efficient solution (Filieri, Ghezzi, and Tamburrelli ...when time ... See full document
9
Design and Verification of a Blood Cell Separation Microfluidic Device
... Probabilistic model checking [5] is a formal analysis method where the behavior of the system is described using a Markovian model and probabilistic properties can be defined and ... See full document
8
Probabilistic Economic Theory
... economic theory: what are S&D functions in mainstream economics? At first, note that within the framework of the GSP model the perpetual question is removed from the agenda, tantalizing teachers and ... See full document
306
Toward a model theory of actions: How agents do it in branching time
... and time that are of interest. This paper focuses on the model-theoretic aspects of ...a branching-time framework where the agents act ...the branching-time temporal logic ... See full document
41
Validation of Service Level Agreements using Probabilistic Model Checking
... same time it makes sure that the new value will not become greater than the maximum possible ...the model – for each action type X of a GT Y we produce a formula guard_XY and a formula to update variable ... See full document
9
Semantic Composition via Probabilistic Model Theory
... Another approach is to use a recurrent neural network, which processes text one token at a time, updating a hidden state vector at each token. The final hidden state can be seen as a representation of the whole ... See full document
16
Probabilistic verification of hierarchical leader election protocols in dynamic systems
... a probabilistic model checking based approach to verify quantitative prop- erties of these ...proposed model with additional features such as ...of time or energy consumption of the ... See full document
13
Statistic complexity metrics as a basis for formal probabilistic model checking
... various time periods length (see connection expiration time criteria ...flow time are different and depend on the traffic con- ditions and selected connection expiration time criteria ... See full document
7
FLEXIBLE SHARING IN DHT BASED P2P NETWORKS USING METADATA OF RESOURCE
... In model checking temporal logic, abstraction and abstraction refinement techniques have been studied[7,9], and in real time systems, the construction of abstract model has also been ...in ... See full document
11
Towards Model-Checking Probabilistic Timed Automata against Probabilistic Duration Properties
... for model-checking based on the technique. At the mean time, we are looking for some special cases of the problem which are simpler and still useful for which our technique can work well, and then ... See full document
16
Bisimulation minimisation and probabilistic model checking
... for probabilistic model ...imised model is the optimal lumping algorithm from ...the model checker ...non-minimised model as well as on the lumped model ...and ... See full document
79
Almost always and "sometime definitely" are not enough: Probabilistic quanifiers and probabilistic model-checking
... a branching time logic based on CTL, but where the two quantiers are supplanted by a single probabilistic ...continuous time markov chains as ... See full document
13
Combined model checking for temporal, probabilistic, and real-time logics
... We note that for the simplicity some of the location relations were not shown in Fig. 5. For example, in INIT , MSG is not within SRV ; in RECEIVE , MSG moves into SRV ; in WAIT , CNTX (denoting the context information) ... See full document
28
Probabilistic model checking : a comparison of tools
... Model checking is a technique to establish the correctness of hardware or software systems in an automated ...requirements. Probabilistic model checking focusses on proving correctness ... See full document
108
Symbolic Model Checking of Probabilistic Knowledge
... implemented model checking sys- tem that deals with the logic of knowledge, time and the subjec- tive probability, ...The model checking system that we develop for this combination in ... See full document
10
Related subjects