Matches in SemOpenAlex for { <https://semopenalex.org/work/W3047979427> ?p ?o ?g. }
- W3047979427 endingPage "378" @default.
- W3047979427 startingPage "369" @default.
- W3047979427 abstract "hpnmg is a tool for model checking Hybrid Petri nets with an arbitrary but finite number of general transition firings against specifications formulated in STL. The tool efficiently implements and combines algorithms for state space creation, transformation to a geometric representation, model checking a potentially nested STL formula and integrating over the resulting satisfaction set to yield the probability that the specification holds at a specific time." @default.
- W3047979427 created "2020-08-13" @default.
- W3047979427 creator A5033971091 @default.
- W3047979427 creator A5040482467 @default.
- W3047979427 creator A5074156366 @default.
- W3047979427 date "2020-01-01" @default.
- W3047979427 modified "2023-10-17" @default.
- W3047979427 title "hpnmg: A C++ Tool for Model Checking Hybrid Petri Nets with General Transitions" @default.
- W3047979427 cites W1512937499 @default.
- W3047979427 cites W1547304883 @default.
- W3047979427 cites W172589331 @default.
- W3047979427 cites W2024772987 @default.
- W3047979427 cites W2044903187 @default.
- W3047979427 cites W2046386580 @default.
- W3047979427 cites W2062873592 @default.
- W3047979427 cites W2087486424 @default.
- W3047979427 cites W2088842371 @default.
- W3047979427 cites W2104619509 @default.
- W3047979427 cites W2118424907 @default.
- W3047979427 cites W2155652247 @default.
- W3047979427 cites W2161833190 @default.
- W3047979427 cites W2171282796 @default.
- W3047979427 cites W2176215692 @default.
- W3047979427 cites W2507368543 @default.
- W3047979427 cites W2528714477 @default.
- W3047979427 cites W2604773389 @default.
- W3047979427 cites W275084143 @default.
- W3047979427 cites W2797945469 @default.
- W3047979427 cites W2886220633 @default.
- W3047979427 cites W2887277714 @default.
- W3047979427 cites W2911662400 @default.
- W3047979427 cites W2948990026 @default.
- W3047979427 cites W3195147712 @default.
- W3047979427 cites W4206570602 @default.
- W3047979427 cites W4249484115 @default.
- W3047979427 doi "https://doi.org/10.1007/978-3-030-55754-6_22" @default.
- W3047979427 hasPublicationYear "2020" @default.
- W3047979427 type Work @default.
- W3047979427 sameAs 3047979427 @default.
- W3047979427 citedByCount "4" @default.
- W3047979427 countsByYear W30479794272020 @default.
- W3047979427 countsByYear W30479794272021 @default.
- W3047979427 countsByYear W30479794272023 @default.
- W3047979427 crossrefType "book-chapter" @default.
- W3047979427 hasAuthorship W3047979427A5033971091 @default.
- W3047979427 hasAuthorship W3047979427A5040482467 @default.
- W3047979427 hasAuthorship W3047979427A5074156366 @default.
- W3047979427 hasConcept C104317684 @default.
- W3047979427 hasConcept C105795698 @default.
- W3047979427 hasConcept C110251889 @default.
- W3047979427 hasConcept C11413529 @default.
- W3047979427 hasConcept C136155141 @default.
- W3047979427 hasConcept C177264268 @default.
- W3047979427 hasConcept C17744445 @default.
- W3047979427 hasConcept C185592680 @default.
- W3047979427 hasConcept C197551870 @default.
- W3047979427 hasConcept C199360897 @default.
- W3047979427 hasConcept C199539241 @default.
- W3047979427 hasConcept C204241405 @default.
- W3047979427 hasConcept C2776359362 @default.
- W3047979427 hasConcept C2779167558 @default.
- W3047979427 hasConcept C33923547 @default.
- W3047979427 hasConcept C38677869 @default.
- W3047979427 hasConcept C41008148 @default.
- W3047979427 hasConcept C48103436 @default.
- W3047979427 hasConcept C55493867 @default.
- W3047979427 hasConcept C72434380 @default.
- W3047979427 hasConcept C80444323 @default.
- W3047979427 hasConcept C94625758 @default.
- W3047979427 hasConceptScore W3047979427C104317684 @default.
- W3047979427 hasConceptScore W3047979427C105795698 @default.
- W3047979427 hasConceptScore W3047979427C110251889 @default.
- W3047979427 hasConceptScore W3047979427C11413529 @default.
- W3047979427 hasConceptScore W3047979427C136155141 @default.
- W3047979427 hasConceptScore W3047979427C177264268 @default.
- W3047979427 hasConceptScore W3047979427C17744445 @default.
- W3047979427 hasConceptScore W3047979427C185592680 @default.
- W3047979427 hasConceptScore W3047979427C197551870 @default.
- W3047979427 hasConceptScore W3047979427C199360897 @default.
- W3047979427 hasConceptScore W3047979427C199539241 @default.
- W3047979427 hasConceptScore W3047979427C204241405 @default.
- W3047979427 hasConceptScore W3047979427C2776359362 @default.
- W3047979427 hasConceptScore W3047979427C2779167558 @default.
- W3047979427 hasConceptScore W3047979427C33923547 @default.
- W3047979427 hasConceptScore W3047979427C38677869 @default.
- W3047979427 hasConceptScore W3047979427C41008148 @default.
- W3047979427 hasConceptScore W3047979427C48103436 @default.
- W3047979427 hasConceptScore W3047979427C55493867 @default.
- W3047979427 hasConceptScore W3047979427C72434380 @default.
- W3047979427 hasConceptScore W3047979427C80444323 @default.
- W3047979427 hasConceptScore W3047979427C94625758 @default.
- W3047979427 hasLocation W30479794271 @default.
- W3047979427 hasOpenAccess W3047979427 @default.
- W3047979427 hasPrimaryLocation W30479794271 @default.
- W3047979427 hasRelatedWork W1492717267 @default.
- W3047979427 hasRelatedWork W1517759046 @default.
- W3047979427 hasRelatedWork W1517948404 @default.
- W3047979427 hasRelatedWork W1522846680 @default.