FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2078477686> ?p ?o ?g. }

• W2078477686 abstract "The joint consideration of randomness and continuous time is important for the formal verification of many real systems. Considering both facets is especially important for wireless sensor networks, distributed control applications, and many other systems of growing importance. Apart from proving the quantitative safety of such systems, it is important to analyze properties related to resource consumption (energy, memory, bandwidth, etc.) and properties that lie more on the economical side (monetary gain, the expected time or cost until termination, etc.). This paper provides a framework to decide such reward properties effectively for a generic class of models which have a discrete-continuous behaviour and involve both probabilistic as well as nondeterministic decisions. Experimental evidence is provided demonstrating the applicability of our approach." @default.
• W2078477686 created "2016-06-24" @default.
• W2078477686 creator A5028747794 @default.
• W2078477686 creator A5030417706 @default.
• W2078477686 date "2013-01-01" @default.
• W2078477686 modified "2023-10-14" @default.
• W2078477686 title "Rewarding probabilistic hybrid automata" @default.
• W2078477686 cites W125598877 @default.
• W2078477686 cites W138290785 @default.
• W2078477686 cites W1487949979 @default.
• W2078477686 cites W1489868140 @default.
• W2078477686 cites W1498432697 @default.
• W2078477686 cites W1508592466 @default.
• W2078477686 cites W1516852392 @default.
• W2078477686 cites W1538639190 @default.
• W2078477686 cites W1569051713 @default.
• W2078477686 cites W1850900101 @default.
• W2078477686 cites W1967091946 @default.
• W2078477686 cites W1980648830 @default.
• W2078477686 cites W1994350081 @default.
• W2078477686 cites W1994952588 @default.
• W2078477686 cites W1999629321 @default.
• W2078477686 cites W2000280333 @default.
• W2078477686 cites W2004463571 @default.
• W2078477686 cites W2006049733 @default.
• W2078477686 cites W2020293036 @default.
• W2078477686 cites W2065492255 @default.
• W2078477686 cites W2077287580 @default.
• W2078477686 cites W2080316200 @default.
• W2078477686 cites W2080813827 @default.
• W2078477686 cites W2087839304 @default.
• W2078477686 cites W2117497989 @default.
• W2078477686 cites W2119567691 @default.
• W2078477686 cites W2125500714 @default.
• W2078477686 cites W2126053898 @default.
• W2078477686 cites W2129965357 @default.
• W2078477686 cites W2140144629 @default.
• W2078477686 cites W2146297877 @default.
• W2078477686 cites W2152533774 @default.
• W2078477686 cites W2153452731 @default.
• W2078477686 cites W2158503535 @default.
• W2078477686 cites W2169114971 @default.
• W2078477686 cites W2176215692 @default.
• W2078477686 cites W2238072670 @default.
• W2078477686 cites W2499588876 @default.
• W2078477686 cites W309294495 @default.
• W2078477686 cites W32048965 @default.
• W2078477686 cites W75225272 @default.
• W2078477686 doi "https://doi.org/10.1145/2461328.2461375" @default.
• W2078477686 hasPublicationYear "2013" @default.
• W2078477686 type Work @default.
• W2078477686 sameAs 2078477686 @default.
• W2078477686 citedByCount "0" @default.
• W2078477686 crossrefType "proceedings-article" @default.
• W2078477686 hasAuthorship W2078477686A5028747794 @default.
• W2078477686 hasAuthorship W2078477686A5030417706 @default.
• W2078477686 hasConcept C105795698 @default.
• W2078477686 hasConcept C112505250 @default.
• W2078477686 hasConcept C120314980 @default.
• W2078477686 hasConcept C125112378 @default.
• W2078477686 hasConcept C154945302 @default.
• W2078477686 hasConcept C176181172 @default.
• W2078477686 hasConcept C24590314 @default.
• W2078477686 hasConcept C2777212361 @default.
• W2078477686 hasConcept C31258907 @default.
• W2078477686 hasConcept C33923547 @default.
• W2078477686 hasConcept C41008148 @default.
• W2078477686 hasConcept C49937458 @default.
• W2078477686 hasConcept C80444323 @default.
• W2078477686 hasConceptScore W2078477686C105795698 @default.
• W2078477686 hasConceptScore W2078477686C112505250 @default.
• W2078477686 hasConceptScore W2078477686C120314980 @default.
• W2078477686 hasConceptScore W2078477686C125112378 @default.
• W2078477686 hasConceptScore W2078477686C154945302 @default.
• W2078477686 hasConceptScore W2078477686C176181172 @default.
• W2078477686 hasConceptScore W2078477686C24590314 @default.
• W2078477686 hasConceptScore W2078477686C2777212361 @default.
• W2078477686 hasConceptScore W2078477686C31258907 @default.
• W2078477686 hasConceptScore W2078477686C33923547 @default.
• W2078477686 hasConceptScore W2078477686C41008148 @default.
• W2078477686 hasConceptScore W2078477686C49937458 @default.
• W2078477686 hasConceptScore W2078477686C80444323 @default.
• W2078477686 hasLocation W20784776861 @default.
• W2078477686 hasOpenAccess W2078477686 @default.
• W2078477686 hasPrimaryLocation W20784776861 @default.
• W2078477686 hasRelatedWork W1501207415 @default.
• W2078477686 hasRelatedWork W1505569957 @default.
• W2078477686 hasRelatedWork W1524948529 @default.
• W2078477686 hasRelatedWork W155380355 @default.
• W2078477686 hasRelatedWork W1581031502 @default.
• W2078477686 hasRelatedWork W1585711433 @default.
• W2078477686 hasRelatedWork W169032908 @default.
• W2078477686 hasRelatedWork W1873861044 @default.
• W2078477686 hasRelatedWork W2054972777 @default.
• W2078477686 hasRelatedWork W2105443119 @default.
• W2078477686 hasRelatedWork W2122346229 @default.
• W2078477686 hasRelatedWork W2129895134 @default.
• W2078477686 hasRelatedWork W2170634995 @default.
• W2078477686 hasRelatedWork W2174921354 @default.
• W2078477686 hasRelatedWork W2336971804 @default.

• next