FRINK Linked Data Fragments server

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

• W3207480343 endingPage "716" @default.
• W3207480343 startingPage "667" @default.
• W3207480343 abstract "Abstract RoboChart is a timed domain-specific language for robotics, distinctive in its support for automated verification by model checking and theorem proving. Since uncertainty is an essential part of robotic systems, we present here an extension to RoboChart to model uncertainty using probabilism. The extension enriches RoboChart state machines with probability through a new construct: probabilistic junctions as the source of transitions with a probability value. RoboChart has an accompanying tool, called RoboTool, for modelling and verification of functional and real-time behaviour. We present here also an automatic technique, implemented in RoboTool, to transform a RoboChart model into a PRISM model for verification. We have extended the property language of RoboTool so that probabilistic properties expressed in temporal logic can be written using controlled natural language." @default.
• W3207480343 created "2021-10-25" @default.
• W3207480343 creator A5006626759 @default.
• W3207480343 creator A5018039260 @default.
• W3207480343 creator A5073408099 @default.
• W3207480343 creator A5077565561 @default.
• W3207480343 creator A5088921858 @default.
• W3207480343 date "2021-10-03" @default.
• W3207480343 modified "2023-10-12" @default.
• W3207480343 title "Probabilistic modelling and verification using RoboChart and PRISM" @default.
• W3207480343 cites W1164721860 @default.
• W3207480343 cites W1516948793 @default.
• W3207480343 cites W1858743739 @default.
• W3207480343 cites W1862398452 @default.
• W3207480343 cites W1882160752 @default.
• W3207480343 cites W1976268573 @default.
• W3207480343 cites W1978347628 @default.
• W3207480343 cites W2002956917 @default.
• W3207480343 cites W2005998857 @default.
• W3207480343 cites W2007072455 @default.
• W3207480343 cites W2009280542 @default.
• W3207480343 cites W2009363597 @default.
• W3207480343 cites W2012203444 @default.
• W3207480343 cites W2028827800 @default.
• W3207480343 cites W2052092737 @default.
• W3207480343 cites W2060794637 @default.
• W3207480343 cites W2067094670 @default.
• W3207480343 cites W2077325003 @default.
• W3207480343 cites W2085110954 @default.
• W3207480343 cites W2087486424 @default.
• W3207480343 cites W2098737431 @default.
• W3207480343 cites W2100571517 @default.
• W3207480343 cites W2101663592 @default.
• W3207480343 cites W2102609194 @default.
• W3207480343 cites W2104910381 @default.
• W3207480343 cites W2128510433 @default.
• W3207480343 cites W2132257796 @default.
• W3207480343 cites W2133038101 @default.
• W3207480343 cites W2164096878 @default.
• W3207480343 cites W2168101196 @default.
• W3207480343 cites W2242571144 @default.
• W3207480343 cites W2258770051 @default.
• W3207480343 cites W2334782222 @default.
• W3207480343 cites W2530189729 @default.
• W3207480343 cites W2593267253 @default.
• W3207480343 cites W2617634135 @default.
• W3207480343 cites W2807209221 @default.
• W3207480343 cites W2898053338 @default.
• W3207480343 cites W2912806430 @default.
• W3207480343 cites W2912904668 @default.
• W3207480343 cites W2973326731 @default.
• W3207480343 cites W3181847392 @default.
• W3207480343 cites W4230164823 @default.
• W3207480343 cites W4234542549 @default.
• W3207480343 cites W4250846042 @default.
• W3207480343 cites W4302988087 @default.
• W3207480343 doi "https://doi.org/10.1007/s10270-021-00916-8" @default.
• W3207480343 hasPublicationYear "2021" @default.
• W3207480343 type Work @default.
• W3207480343 sameAs 3207480343 @default.
• W3207480343 citedByCount "9" @default.
• W3207480343 countsByYear W32074803432022 @default.
• W3207480343 countsByYear W32074803432023 @default.
• W3207480343 crossrefType "journal-article" @default.
• W3207480343 hasAuthorship W3207480343A5006626759 @default.
• W3207480343 hasAuthorship W3207480343A5018039260 @default.
• W3207480343 hasAuthorship W3207480343A5073408099 @default.
• W3207480343 hasAuthorship W3207480343A5077565561 @default.
• W3207480343 hasAuthorship W3207480343A5088921858 @default.
• W3207480343 hasBestOaLocation W32074803431 @default.
• W3207480343 hasConcept C110251889 @default.
• W3207480343 hasConcept C111472728 @default.
• W3207480343 hasConcept C11413529 @default.
• W3207480343 hasConcept C134306372 @default.
• W3207480343 hasConcept C138885662 @default.
• W3207480343 hasConcept C154945302 @default.
• W3207480343 hasConcept C189950617 @default.
• W3207480343 hasConcept C199360897 @default.
• W3207480343 hasConcept C2778029271 @default.
• W3207480343 hasConcept C2780801425 @default.
• W3207480343 hasConcept C33923547 @default.
• W3207480343 hasConcept C34413123 @default.
• W3207480343 hasConcept C36503486 @default.
• W3207480343 hasConcept C41008148 @default.
• W3207480343 hasConcept C48103436 @default.
• W3207480343 hasConcept C49937458 @default.
• W3207480343 hasConcept C80444323 @default.
• W3207480343 hasConcept C90509273 @default.
• W3207480343 hasConceptScore W3207480343C110251889 @default.
• W3207480343 hasConceptScore W3207480343C111472728 @default.
• W3207480343 hasConceptScore W3207480343C11413529 @default.
• W3207480343 hasConceptScore W3207480343C134306372 @default.
• W3207480343 hasConceptScore W3207480343C138885662 @default.
• W3207480343 hasConceptScore W3207480343C154945302 @default.
• W3207480343 hasConceptScore W3207480343C189950617 @default.
• W3207480343 hasConceptScore W3207480343C199360897 @default.
• W3207480343 hasConceptScore W3207480343C2778029271 @default.
• W3207480343 hasConceptScore W3207480343C2780801425 @default.

• next