Matches in SemOpenAlex for { <https://semopenalex.org/work/W1948103674> ?p ?o ?g. }
Showing items 1 to 94 of
94
with 100 items per page.
- W1948103674 abstract "In the recent years, there have been a large amount of investigations on safety verification of uncertain continuous systems. In engineering and applied mathematics, this verification is called stochastic reachability analysis, while in computer science this is called probabilistic model checking(PMC). In the context of this work, we consider the two terms interchangeable. It is worthy to note that PMC has been mostly considered for discrete systems. Therefore, there is an issue of improving the application of computer science techniques in the formal verification of continuous stochastic systems. We present a new probabilistic logic of model theoretic nature. The terms of this logic express reachability properties and the logic formulas express statistical properties of terms.Moreover, we show that this logic characterizes a bisimulation relation for continuous time continuous space Markov processes. For this logic we define a new semantics using state space symmetries. This is a recent concept that was successfully used in model checking. Using this semantics, we prove a full abstraction result. Furthermore, we prove a result that can be used in model checking, namely that the bisimulation preserves the probabilities of the reachable sets." @default.
- W1948103674 created "2016-06-24" @default.
- W1948103674 creator A5041240531 @default.
- W1948103674 creator A5043491556 @default.
- W1948103674 date "2008-03-13" @default.
- W1948103674 modified "2023-09-26" @default.
- W1948103674 title "Bisimulation, Logic and Reachability Analysis for Markovian Systems" @default.
- W1948103674 cites W140654465 @default.
- W1948103674 cites W1522448884 @default.
- W1948103674 cites W1596919412 @default.
- W1948103674 cites W1603153151 @default.
- W1948103674 cites W1976268573 @default.
- W1948103674 cites W1997204748 @default.
- W1948103674 cites W2067153333 @default.
- W1948103674 cites W2153452731 @default.
- W1948103674 cites W2159972574 @default.
- W1948103674 cites W2489611083 @default.
- W1948103674 cites W2502452588 @default.
- W1948103674 cites W2798461040 @default.
- W1948103674 cites W608492239 @default.
- W1948103674 hasPublicationYear "2008" @default.
- W1948103674 type Work @default.
- W1948103674 sameAs 1948103674 @default.
- W1948103674 citedByCount "0" @default.
- W1948103674 crossrefType "journal-article" @default.
- W1948103674 hasAuthorship W1948103674A5041240531 @default.
- W1948103674 hasAuthorship W1948103674A5043491556 @default.
- W1948103674 hasConcept C105795698 @default.
- W1948103674 hasConcept C110251889 @default.
- W1948103674 hasConcept C111472728 @default.
- W1948103674 hasConcept C111498074 @default.
- W1948103674 hasConcept C11413529 @default.
- W1948103674 hasConcept C124304363 @default.
- W1948103674 hasConcept C135315306 @default.
- W1948103674 hasConcept C136643341 @default.
- W1948103674 hasConcept C138885662 @default.
- W1948103674 hasConcept C154945302 @default.
- W1948103674 hasConcept C184337299 @default.
- W1948103674 hasConcept C199360897 @default.
- W1948103674 hasConcept C24404364 @default.
- W1948103674 hasConcept C25016198 @default.
- W1948103674 hasConcept C33923547 @default.
- W1948103674 hasConcept C41008148 @default.
- W1948103674 hasConcept C49937458 @default.
- W1948103674 hasConcept C52063229 @default.
- W1948103674 hasConcept C72434380 @default.
- W1948103674 hasConcept C80444323 @default.
- W1948103674 hasConceptScore W1948103674C105795698 @default.
- W1948103674 hasConceptScore W1948103674C110251889 @default.
- W1948103674 hasConceptScore W1948103674C111472728 @default.
- W1948103674 hasConceptScore W1948103674C111498074 @default.
- W1948103674 hasConceptScore W1948103674C11413529 @default.
- W1948103674 hasConceptScore W1948103674C124304363 @default.
- W1948103674 hasConceptScore W1948103674C135315306 @default.
- W1948103674 hasConceptScore W1948103674C136643341 @default.
- W1948103674 hasConceptScore W1948103674C138885662 @default.
- W1948103674 hasConceptScore W1948103674C154945302 @default.
- W1948103674 hasConceptScore W1948103674C184337299 @default.
- W1948103674 hasConceptScore W1948103674C199360897 @default.
- W1948103674 hasConceptScore W1948103674C24404364 @default.
- W1948103674 hasConceptScore W1948103674C25016198 @default.
- W1948103674 hasConceptScore W1948103674C33923547 @default.
- W1948103674 hasConceptScore W1948103674C41008148 @default.
- W1948103674 hasConceptScore W1948103674C49937458 @default.
- W1948103674 hasConceptScore W1948103674C52063229 @default.
- W1948103674 hasConceptScore W1948103674C72434380 @default.
- W1948103674 hasConceptScore W1948103674C80444323 @default.
- W1948103674 hasLocation W19481036741 @default.
- W1948103674 hasOpenAccess W1948103674 @default.
- W1948103674 hasPrimaryLocation W19481036741 @default.
- W1948103674 hasRelatedWork W1561934984 @default.
- W1948103674 hasRelatedWork W1564918302 @default.
- W1948103674 hasRelatedWork W1585873980 @default.
- W1948103674 hasRelatedWork W1597178621 @default.
- W1948103674 hasRelatedWork W1754956050 @default.
- W1948103674 hasRelatedWork W1975219867 @default.
- W1948103674 hasRelatedWork W1997160698 @default.
- W1948103674 hasRelatedWork W2017676950 @default.
- W1948103674 hasRelatedWork W2067733097 @default.
- W1948103674 hasRelatedWork W2078233736 @default.
- W1948103674 hasRelatedWork W2095917530 @default.
- W1948103674 hasRelatedWork W2104860213 @default.
- W1948103674 hasRelatedWork W2131627727 @default.
- W1948103674 hasRelatedWork W2134484951 @default.
- W1948103674 hasRelatedWork W2163668905 @default.
- W1948103674 hasRelatedWork W2367178691 @default.
- W1948103674 hasRelatedWork W2609153068 @default.
- W1948103674 hasRelatedWork W2765125579 @default.
- W1948103674 hasRelatedWork W2778153045 @default.
- W1948103674 hasRelatedWork W98211343 @default.
- W1948103674 isParatext "false" @default.
- W1948103674 isRetracted "false" @default.
- W1948103674 magId "1948103674" @default.
- W1948103674 workType "article" @default.