FRINK Linked Data Fragments server

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

• W3005923869 endingPage "46" @default.
• W3005923869 startingPage "33" @default.
• W3005923869 abstract "We propose an extension of the zone-based algorithmics for analyzing timed automata to handle systems where timing uncertainty is considered as probabilistic rather than set-theoretic. We study duration probabilistic automata (DPA), expressing multiple parallel processes admitting memoryfull continuously-distributed durations. For this model we develop an extension of the zone-based forward reachability algorithm whose successor operator is a density transformer, thus providing a solution to verification and performance evaluation problems concerning acyclic DPA (or the boundedhorizon behavior of cyclic DPA)." @default.
• W3005923869 created "2020-02-24" @default.
• W3005923869 creator A5012209374 @default.
• W3005923869 creator A5022295634 @default.
• W3005923869 creator A5026562535 @default.
• W3005923869 date "2010-10-01" @default.
• W3005923869 modified "2023-09-27" @default.
• W3005923869 title "On Zone-Based Analysis of Duration Probabilistic Automata" @default.
• W3005923869 cites W126539787 @default.
• W3005923869 cites W1546526613 @default.
• W3005923869 cites W1587663028 @default.
• W3005923869 cites W1768627876 @default.
• W3005923869 cites W1975120975 @default.
• W3005923869 cites W1986755980 @default.
• W3005923869 cites W1987234253 @default.
• W3005923869 cites W2000947342 @default.
• W3005923869 cites W2009280542 @default.
• W3005923869 cites W2023499821 @default.
• W3005923869 cites W2091540690 @default.
• W3005923869 cites W2098714293 @default.
• W3005923869 cites W2101508170 @default.
• W3005923869 cites W2102609194 @default.
• W3005923869 cites W2106641552 @default.
• W3005923869 cites W2110664560 @default.
• W3005923869 cites W2118912801 @default.
• W3005923869 cites W2124065284 @default.
• W3005923869 cites W2130773092 @default.
• W3005923869 cites W2141881497 @default.
• W3005923869 cites W2154144595 @default.
• W3005923869 cites W2489166266 @default.
• W3005923869 cites W2525512947 @default.
• W3005923869 cites W2492055675 @default.
• W3005923869 hasPublicationYear "2010" @default.
• W3005923869 type Work @default.
• W3005923869 sameAs 3005923869 @default.
• W3005923869 citedByCount "3" @default.
• W3005923869 countsByYear W30059238692013 @default.
• W3005923869 crossrefType "journal-article" @default.
• W3005923869 hasAuthorship W3005923869A5012209374 @default.
• W3005923869 hasAuthorship W3005923869A5022295634 @default.
• W3005923869 hasAuthorship W3005923869A5026562535 @default.
• W3005923869 hasConcept C110251889 @default.
• W3005923869 hasConcept C112505250 @default.
• W3005923869 hasConcept C112758219 @default.
• W3005923869 hasConcept C11413529 @default.
• W3005923869 hasConcept C124952713 @default.
• W3005923869 hasConcept C134306372 @default.
• W3005923869 hasConcept C136643341 @default.
• W3005923869 hasConcept C142362112 @default.
• W3005923869 hasConcept C153349607 @default.
• W3005923869 hasConcept C154945302 @default.
• W3005923869 hasConcept C199360897 @default.
• W3005923869 hasConcept C2778029271 @default.
• W3005923869 hasConcept C33923547 @default.
• W3005923869 hasConcept C41008148 @default.
• W3005923869 hasConcept C49937458 @default.
• W3005923869 hasConcept C558565934 @default.
• W3005923869 hasConcept C73301696 @default.
• W3005923869 hasConcept C75306776 @default.
• W3005923869 hasConcept C80444323 @default.
• W3005923869 hasConceptScore W3005923869C110251889 @default.
• W3005923869 hasConceptScore W3005923869C112505250 @default.
• W3005923869 hasConceptScore W3005923869C112758219 @default.
• W3005923869 hasConceptScore W3005923869C11413529 @default.
• W3005923869 hasConceptScore W3005923869C124952713 @default.
• W3005923869 hasConceptScore W3005923869C134306372 @default.
• W3005923869 hasConceptScore W3005923869C136643341 @default.
• W3005923869 hasConceptScore W3005923869C142362112 @default.
• W3005923869 hasConceptScore W3005923869C153349607 @default.
• W3005923869 hasConceptScore W3005923869C154945302 @default.
• W3005923869 hasConceptScore W3005923869C199360897 @default.
• W3005923869 hasConceptScore W3005923869C2778029271 @default.
• W3005923869 hasConceptScore W3005923869C33923547 @default.
• W3005923869 hasConceptScore W3005923869C41008148 @default.
• W3005923869 hasConceptScore W3005923869C49937458 @default.
• W3005923869 hasConceptScore W3005923869C558565934 @default.
• W3005923869 hasConceptScore W3005923869C73301696 @default.
• W3005923869 hasConceptScore W3005923869C75306776 @default.
• W3005923869 hasConceptScore W3005923869C80444323 @default.
• W3005923869 hasLocation W30059238691 @default.
• W3005923869 hasOpenAccess W3005923869 @default.
• W3005923869 hasPrimaryLocation W30059238691 @default.
• W3005923869 hasRelatedWork W106209860 @default.
• W3005923869 hasRelatedWork W1522448884 @default.
• W3005923869 hasRelatedWork W1538906230 @default.
• W3005923869 hasRelatedWork W1990758339 @default.
• W3005923869 hasRelatedWork W2015283617 @default.
• W3005923869 hasRelatedWork W2018087463 @default.
• W3005923869 hasRelatedWork W2044499152 @default.
• W3005923869 hasRelatedWork W2087221982 @default.
• W3005923869 hasRelatedWork W2101508170 @default.
• W3005923869 hasRelatedWork W2126748297 @default.
• W3005923869 hasRelatedWork W2140493413 @default.
• W3005923869 hasRelatedWork W2163500089 @default.
• W3005923869 hasRelatedWork W2330835137 @default.
• W3005923869 hasRelatedWork W2587449885 @default.
• W3005923869 hasRelatedWork W2612724135 @default.
• W3005923869 hasRelatedWork W2740930950 @default.

• next