Matches in SemOpenAlex for { <https://semopenalex.org/work/W2415702625> ?p ?o ?g. }
Showing items 1 to 97 of
97
with 100 items per page.
- W2415702625 abstract "Stochastic Satisfiability Modulo Theory (SSMT) [1] is a quantitative extension of classical Satisfiability Modulo Theory (SMT) inspired by stochastic logics. It extends SMT by the usual as well as randomized quantifiers, facilitating capture of stochastic game properties in the logic, like reachability analysis of hybrid-state Markov decision processes. Solving for SSMT formulae with quantification over finite and thus discrete domain has been addressed by Tino Teige et al. [2] and its continuous extension has been considered in our previous paper [3]. In this paper, we will discuss some issues regarding to its prototype implementation CSiSAT and test on some cases. The optimization strategies have been discussed which aim at enhancing the efficiency of CSiSAT. At last, a classical realtime scheduling problem is analyzed by using CSiSAT, where randomized execution time is considered." @default.
- W2415702625 created "2016-06-24" @default.
- W2415702625 creator A5026641973 @default.
- W2415702625 creator A5089746112 @default.
- W2415702625 date "2016-04-11" @default.
- W2415702625 modified "2023-09-24" @default.
- W2415702625 title "CSiSAT: A satisfiability solver for SMT formulas with continuous probability distributions" @default.
- W2415702625 cites W1609596465 @default.
- W2415702625 cites W1980648830 @default.
- W2415702625 cites W1989783852 @default.
- W2415702625 cites W2004463571 @default.
- W2415702625 cites W2017676950 @default.
- W2415702625 cites W2019851160 @default.
- W2415702625 cites W2022846948 @default.
- W2415702625 cites W2073787328 @default.
- W2415702625 cites W2084965339 @default.
- W2415702625 cites W2096307462 @default.
- W2415702625 cites W2113239343 @default.
- W2415702625 cites W2124397961 @default.
- W2415702625 cites W2126053898 @default.
- W2415702625 cites W2142785340 @default.
- W2415702625 cites W2163850966 @default.
- W2415702625 cites W2224581992 @default.
- W2415702625 cites W1511506132 @default.
- W2415702625 doi "https://doi.org/10.1109/snr.2016.7479382" @default.
- W2415702625 hasPublicationYear "2016" @default.
- W2415702625 type Work @default.
- W2415702625 sameAs 2415702625 @default.
- W2415702625 citedByCount "0" @default.
- W2415702625 crossrefType "proceedings-article" @default.
- W2415702625 hasAuthorship W2415702625A5026641973 @default.
- W2415702625 hasAuthorship W2415702625A5089746112 @default.
- W2415702625 hasConcept C105795698 @default.
- W2415702625 hasConcept C106189395 @default.
- W2415702625 hasConcept C11413529 @default.
- W2415702625 hasConcept C118615104 @default.
- W2415702625 hasConcept C119857082 @default.
- W2415702625 hasConcept C126255220 @default.
- W2415702625 hasConcept C136643341 @default.
- W2415702625 hasConcept C159886148 @default.
- W2415702625 hasConcept C164155591 @default.
- W2415702625 hasConcept C168773769 @default.
- W2415702625 hasConcept C199360897 @default.
- W2415702625 hasConcept C2778029271 @default.
- W2415702625 hasConcept C2778770139 @default.
- W2415702625 hasConcept C33923547 @default.
- W2415702625 hasConcept C41008148 @default.
- W2415702625 hasConcept C54732982 @default.
- W2415702625 hasConcept C6943359 @default.
- W2415702625 hasConcept C80444323 @default.
- W2415702625 hasConcept C98763669 @default.
- W2415702625 hasConceptScore W2415702625C105795698 @default.
- W2415702625 hasConceptScore W2415702625C106189395 @default.
- W2415702625 hasConceptScore W2415702625C11413529 @default.
- W2415702625 hasConceptScore W2415702625C118615104 @default.
- W2415702625 hasConceptScore W2415702625C119857082 @default.
- W2415702625 hasConceptScore W2415702625C126255220 @default.
- W2415702625 hasConceptScore W2415702625C136643341 @default.
- W2415702625 hasConceptScore W2415702625C159886148 @default.
- W2415702625 hasConceptScore W2415702625C164155591 @default.
- W2415702625 hasConceptScore W2415702625C168773769 @default.
- W2415702625 hasConceptScore W2415702625C199360897 @default.
- W2415702625 hasConceptScore W2415702625C2778029271 @default.
- W2415702625 hasConceptScore W2415702625C2778770139 @default.
- W2415702625 hasConceptScore W2415702625C33923547 @default.
- W2415702625 hasConceptScore W2415702625C41008148 @default.
- W2415702625 hasConceptScore W2415702625C54732982 @default.
- W2415702625 hasConceptScore W2415702625C6943359 @default.
- W2415702625 hasConceptScore W2415702625C80444323 @default.
- W2415702625 hasConceptScore W2415702625C98763669 @default.
- W2415702625 hasLocation W24157026251 @default.
- W2415702625 hasOpenAccess W2415702625 @default.
- W2415702625 hasPrimaryLocation W24157026251 @default.
- W2415702625 hasRelatedWork W1538906230 @default.
- W2415702625 hasRelatedWork W1975219867 @default.
- W2415702625 hasRelatedWork W2004120748 @default.
- W2415702625 hasRelatedWork W2018087463 @default.
- W2415702625 hasRelatedWork W2053807562 @default.
- W2415702625 hasRelatedWork W2067733097 @default.
- W2415702625 hasRelatedWork W2084726594 @default.
- W2415702625 hasRelatedWork W2118424907 @default.
- W2415702625 hasRelatedWork W2126053898 @default.
- W2415702625 hasRelatedWork W2157929335 @default.
- W2415702625 hasRelatedWork W2224581992 @default.
- W2415702625 hasRelatedWork W2293229327 @default.
- W2415702625 hasRelatedWork W2464101146 @default.
- W2415702625 hasRelatedWork W2528640751 @default.
- W2415702625 hasRelatedWork W2591903828 @default.
- W2415702625 hasRelatedWork W2607115544 @default.
- W2415702625 hasRelatedWork W2886025101 @default.
- W2415702625 hasRelatedWork W2963714625 @default.
- W2415702625 hasRelatedWork W3012143895 @default.
- W2415702625 hasRelatedWork W3047472342 @default.
- W2415702625 isParatext "false" @default.
- W2415702625 isRetracted "false" @default.
- W2415702625 magId "2415702625" @default.
- W2415702625 workType "article" @default.