FRINK Linked Data Fragments server

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

• W4312831358 endingPage "40" @default.
• W4312831358 startingPage "22" @default.
• W4312831358 abstract "In this paper we present the theory behind Probabilistic Trace Expressions (PTEs), an extension of Trace Expressions where types of events that can be observed by a monitor are associated with an observation probability. PTEs can be exploited for monitoring that agents in a MAS interact in compliance with an Agent Interaction Protocol (AIP) modeled as a PTE, even when the monitor realizes that an interaction took place in the MAS, but it was not correctly observed (“observation gap”). To this aim, we adapt an existing approach for runtime verification with state estimation, we present a semantics for PTEs that allows for the estimation of the probability to reach a given state, given a sequence of observations which may include observation gaps, we present a centralized implemented algorithm to dynamically verify the behavior of the MAS under monitoring and we discuss its potential and limitations." @default.
• W4312831358 created "2023-01-05" @default.
• W4312831358 creator A5022301074 @default.
• W4312831358 creator A5036812254 @default.
• W4312831358 creator A5053250970 @default.
• W4312831358 date "2022-01-01" @default.
• W4312831358 modified "2023-09-25" @default.
• W4312831358 title "Mind the Gap! Runtime Verification of Partially Observable MASs with Probabilistic Trace Expressions" @default.
• W4312831358 cites W1574505635 @default.
• W4312831358 cites W189296993 @default.
• W4312831358 cites W1904065432 @default.
• W4312831358 cites W2007321142 @default.
• W4312831358 cites W2023808162 @default.
• W4312831358 cites W2024753805 @default.
• W4312831358 cites W2101623441 @default.
• W4312831358 cites W2105594594 @default.
• W4312831358 cites W2121167614 @default.
• W4312831358 cites W2146331992 @default.
• W4312831358 cites W2346373674 @default.
• W4312831358 cites W2617541639 @default.
• W4312831358 cites W2710130599 @default.
• W4312831358 cites W2786819761 @default.
• W4312831358 cites W2806953615 @default.
• W4312831358 cites W2808831492 @default.
• W4312831358 cites W2902473403 @default.
• W4312831358 cites W2967277443 @default.
• W4312831358 cites W3102840488 @default.
• W4312831358 cites W3119491100 @default.
• W4312831358 cites W3208913200 @default.
• W4312831358 cites W4206172270 @default.
• W4312831358 cites W4230569261 @default.
• W4312831358 cites W4253573210 @default.
• W4312831358 doi "https://doi.org/10.1007/978-3-031-20614-6_2" @default.
• W4312831358 hasPublicationYear "2022" @default.
• W4312831358 type Work @default.
• W4312831358 citedByCount "1" @default.
• W4312831358 countsByYear W43128313582023 @default.
• W4312831358 crossrefType "book-chapter" @default.
• W4312831358 hasAuthorship W4312831358A5022301074 @default.
• W4312831358 hasAuthorship W4312831358A5036812254 @default.
• W4312831358 hasAuthorship W4312831358A5053250970 @default.
• W4312831358 hasConcept C111498074 @default.
• W4312831358 hasConcept C11413529 @default.
• W4312831358 hasConcept C120314980 @default.
• W4312831358 hasConcept C121332964 @default.
• W4312831358 hasConcept C138885662 @default.
• W4312831358 hasConcept C142724271 @default.
• W4312831358 hasConcept C154945302 @default.
• W4312831358 hasConcept C184337299 @default.
• W4312831358 hasConcept C185592680 @default.
• W4312831358 hasConcept C199360897 @default.
• W4312831358 hasConcept C202973057 @default.
• W4312831358 hasConcept C204787440 @default.
• W4312831358 hasConcept C2776235265 @default.
• W4312831358 hasConcept C2778029271 @default.
• W4312831358 hasConcept C2778112365 @default.
• W4312831358 hasConcept C2780385302 @default.
• W4312831358 hasConcept C32848918 @default.
• W4312831358 hasConcept C41008148 @default.
• W4312831358 hasConcept C41895202 @default.
• W4312831358 hasConcept C48103436 @default.
• W4312831358 hasConcept C49937458 @default.
• W4312831358 hasConcept C55493867 @default.
• W4312831358 hasConcept C62520636 @default.
• W4312831358 hasConcept C71924100 @default.
• W4312831358 hasConcept C75291252 @default.
• W4312831358 hasConcept C80444323 @default.
• W4312831358 hasConceptScore W4312831358C111498074 @default.
• W4312831358 hasConceptScore W4312831358C11413529 @default.
• W4312831358 hasConceptScore W4312831358C120314980 @default.
• W4312831358 hasConceptScore W4312831358C121332964 @default.
• W4312831358 hasConceptScore W4312831358C138885662 @default.
• W4312831358 hasConceptScore W4312831358C142724271 @default.
• W4312831358 hasConceptScore W4312831358C154945302 @default.
• W4312831358 hasConceptScore W4312831358C184337299 @default.
• W4312831358 hasConceptScore W4312831358C185592680 @default.
• W4312831358 hasConceptScore W4312831358C199360897 @default.
• W4312831358 hasConceptScore W4312831358C202973057 @default.
• W4312831358 hasConceptScore W4312831358C204787440 @default.
• W4312831358 hasConceptScore W4312831358C2776235265 @default.
• W4312831358 hasConceptScore W4312831358C2778029271 @default.
• W4312831358 hasConceptScore W4312831358C2778112365 @default.
• W4312831358 hasConceptScore W4312831358C2780385302 @default.
• W4312831358 hasConceptScore W4312831358C32848918 @default.
• W4312831358 hasConceptScore W4312831358C41008148 @default.
• W4312831358 hasConceptScore W4312831358C41895202 @default.
• W4312831358 hasConceptScore W4312831358C48103436 @default.
• W4312831358 hasConceptScore W4312831358C49937458 @default.
• W4312831358 hasConceptScore W4312831358C55493867 @default.
• W4312831358 hasConceptScore W4312831358C62520636 @default.
• W4312831358 hasConceptScore W4312831358C71924100 @default.
• W4312831358 hasConceptScore W4312831358C75291252 @default.
• W4312831358 hasConceptScore W4312831358C80444323 @default.
• W4312831358 hasLocation W43128313581 @default.
• W4312831358 hasOpenAccess W4312831358 @default.
• W4312831358 hasPrimaryLocation W43128313581 @default.
• W4312831358 hasRelatedWork W1513077802 @default.
• W4312831358 hasRelatedWork W1538286026 @default.

• next