Matches in SemOpenAlex for { <https://semopenalex.org/work/W2952364300> ?p ?o ?g. }
- W2952364300 abstract "This paper presents a methodology for temporal logic verification of discrete-time stochastic systems. Our goal is to find a lower bound on the probability that a complex temporal property is satisfied by finite traces of the system. Desired temporal properties of the system are expressed using a fragment of linear temporal logic, called safe LTL over finite traces. We propose to use barrier certificates for computations of such lower bounds, which is computationally much more efficient than the existing discretization-based approaches. The new approach is discretization-free and does not suffer from the curse of dimensionality caused by discretizing state sets. The proposed approach relies on decomposing the negation of the specification into a union of sequential reachabilities and then using barrier certificates to compute upper bounds for these reachability probabilities. We demonstrate the effectiveness of the proposed approach on case studies with linear and polynomial dynamics." @default.
- W2952364300 created "2019-06-27" @default.
- W2952364300 creator A5017334634 @default.
- W2952364300 creator A5030109984 @default.
- W2952364300 creator A5073867567 @default.
- W2952364300 date "2018-06-29" @default.
- W2952364300 modified "2023-09-27" @default.
- W2952364300 title "Temporal Logic Verification of Stochastic Systems Using Barrier Certificates" @default.
- W2952364300 cites W1483893502 @default.
- W2952364300 cites W1487948848 @default.
- W2952364300 cites W1498432697 @default.
- W2952364300 cites W1512937499 @default.
- W2952364300 cites W1578881602 @default.
- W2952364300 cites W1700264732 @default.
- W2952364300 cites W1709770004 @default.
- W2952364300 cites W1761635979 @default.
- W2952364300 cites W1967073510 @default.
- W2952364300 cites W1967184028 @default.
- W2952364300 cites W1975219867 @default.
- W2952364300 cites W1975255760 @default.
- W2952364300 cites W1985049996 @default.
- W2952364300 cites W1993971257 @default.
- W2952364300 cites W2006625750 @default.
- W2952364300 cites W2033118636 @default.
- W2952364300 cites W2042636729 @default.
- W2952364300 cites W2053807562 @default.
- W2952364300 cites W2077987282 @default.
- W2952364300 cites W2087107980 @default.
- W2952364300 cites W2101620974 @default.
- W2952364300 cites W2106850246 @default.
- W2952364300 cites W2122410182 @default.
- W2952364300 cites W2122825054 @default.
- W2952364300 cites W2171282796 @default.
- W2952364300 cites W2294184790 @default.
- W2952364300 cites W2345020933 @default.
- W2952364300 cites W2522043470 @default.
- W2952364300 cites W2570618776 @default.
- W2952364300 cites W2744642111 @default.
- W2952364300 cites W2759834774 @default.
- W2952364300 cites W2782983619 @default.
- W2952364300 cites W2949165985 @default.
- W2952364300 cites W2963355499 @default.
- W2952364300 hasPublicationYear "2018" @default.
- W2952364300 type Work @default.
- W2952364300 sameAs 2952364300 @default.
- W2952364300 citedByCount "0" @default.
- W2952364300 crossrefType "posted-content" @default.
- W2952364300 hasAuthorship W2952364300A5017334634 @default.
- W2952364300 hasAuthorship W2952364300A5030109984 @default.
- W2952364300 hasAuthorship W2952364300A5073867567 @default.
- W2952364300 hasConcept C110251889 @default.
- W2952364300 hasConcept C111030470 @default.
- W2952364300 hasConcept C11413529 @default.
- W2952364300 hasConcept C126255220 @default.
- W2952364300 hasConcept C134306372 @default.
- W2952364300 hasConcept C136643341 @default.
- W2952364300 hasConcept C154945302 @default.
- W2952364300 hasConcept C198008173 @default.
- W2952364300 hasConcept C199360897 @default.
- W2952364300 hasConcept C2185349 @default.
- W2952364300 hasConcept C25016198 @default.
- W2952364300 hasConcept C33923547 @default.
- W2952364300 hasConcept C41008148 @default.
- W2952364300 hasConcept C45374587 @default.
- W2952364300 hasConcept C4777664 @default.
- W2952364300 hasConcept C73000952 @default.
- W2952364300 hasConcept C80444323 @default.
- W2952364300 hasConceptScore W2952364300C110251889 @default.
- W2952364300 hasConceptScore W2952364300C111030470 @default.
- W2952364300 hasConceptScore W2952364300C11413529 @default.
- W2952364300 hasConceptScore W2952364300C126255220 @default.
- W2952364300 hasConceptScore W2952364300C134306372 @default.
- W2952364300 hasConceptScore W2952364300C136643341 @default.
- W2952364300 hasConceptScore W2952364300C154945302 @default.
- W2952364300 hasConceptScore W2952364300C198008173 @default.
- W2952364300 hasConceptScore W2952364300C199360897 @default.
- W2952364300 hasConceptScore W2952364300C2185349 @default.
- W2952364300 hasConceptScore W2952364300C25016198 @default.
- W2952364300 hasConceptScore W2952364300C33923547 @default.
- W2952364300 hasConceptScore W2952364300C41008148 @default.
- W2952364300 hasConceptScore W2952364300C45374587 @default.
- W2952364300 hasConceptScore W2952364300C4777664 @default.
- W2952364300 hasConceptScore W2952364300C73000952 @default.
- W2952364300 hasConceptScore W2952364300C80444323 @default.
- W2952364300 hasLocation W29523643001 @default.
- W2952364300 hasOpenAccess W2952364300 @default.
- W2952364300 hasPrimaryLocation W29523643001 @default.
- W2952364300 hasRelatedWork W1975255760 @default.
- W2952364300 hasRelatedWork W1986417217 @default.
- W2952364300 hasRelatedWork W2049652417 @default.
- W2952364300 hasRelatedWork W2067733097 @default.
- W2952364300 hasRelatedWork W2078233736 @default.
- W2952364300 hasRelatedWork W2148962689 @default.
- W2952364300 hasRelatedWork W2172283073 @default.
- W2952364300 hasRelatedWork W2607115544 @default.
- W2952364300 hasRelatedWork W2810334434 @default.
- W2952364300 hasRelatedWork W2895281769 @default.
- W2952364300 hasRelatedWork W2902006926 @default.
- W2952364300 hasRelatedWork W2951901288 @default.
- W2952364300 hasRelatedWork W2952169929 @default.