Matches in SemOpenAlex for { <https://semopenalex.org/work/W1569566513> ?p ?o ?g. }
Showing items 1 to 83 of
83
with 100 items per page.
- W1569566513 abstract "We present a methodology for verifying epistemic and real-time temporal properties of multi-agent systems. We introduce an interpreted systems semantics based on diagonal timed automata and use a real-time temporal epistemic language to describe properties of multi-agent systems. We develop a bounded model checking algorithm for this setting and present experimental results for a real-time version of the alternating bit-transmission problem obtained by means of a preliminary implementation of the technique." @default.
- W1569566513 created "2016-06-24" @default.
- W1569566513 creator A5015045050 @default.
- W1569566513 creator A5037050989 @default.
- W1569566513 creator A5048497332 @default.
- W1569566513 date "2007-01-01" @default.
- W1569566513 modified "2023-09-27" @default.
- W1569566513 title "Bounded Model Checking Real-Time Multi-agent Systems with Clock Differences: Theory and Implementation" @default.
- W1569566513 cites W1482233117 @default.
- W1569566513 cites W1489391022 @default.
- W1569566513 cites W1505030820 @default.
- W1569566513 cites W1509248893 @default.
- W1569566513 cites W1535937574 @default.
- W1569566513 cites W1550626198 @default.
- W1569566513 cites W1573791484 @default.
- W1569566513 cites W1589336320 @default.
- W1569566513 cites W1787074469 @default.
- W1569566513 cites W1874996599 @default.
- W1569566513 cites W1969384890 @default.
- W1569566513 cites W1984691540 @default.
- W1569566513 cites W2024664992 @default.
- W1569566513 cites W2129559415 @default.
- W1569566513 cites W4244435490 @default.
- W1569566513 doi "https://doi.org/10.1007/978-3-540-74128-2_7" @default.
- W1569566513 hasPublicationYear "2007" @default.
- W1569566513 type Work @default.
- W1569566513 sameAs 1569566513 @default.
- W1569566513 citedByCount "3" @default.
- W1569566513 crossrefType "book-chapter" @default.
- W1569566513 hasAuthorship W1569566513A5015045050 @default.
- W1569566513 hasAuthorship W1569566513A5037050989 @default.
- W1569566513 hasAuthorship W1569566513A5048497332 @default.
- W1569566513 hasBestOaLocation W15695665132 @default.
- W1569566513 hasConcept C110251889 @default.
- W1569566513 hasConcept C112505250 @default.
- W1569566513 hasConcept C11413529 @default.
- W1569566513 hasConcept C130367717 @default.
- W1569566513 hasConcept C134306372 @default.
- W1569566513 hasConcept C149635348 @default.
- W1569566513 hasConcept C154945302 @default.
- W1569566513 hasConcept C184337299 @default.
- W1569566513 hasConcept C199360897 @default.
- W1569566513 hasConcept C2524010 @default.
- W1569566513 hasConcept C28472234 @default.
- W1569566513 hasConcept C33923547 @default.
- W1569566513 hasConcept C34388435 @default.
- W1569566513 hasConcept C41008148 @default.
- W1569566513 hasConcept C41550386 @default.
- W1569566513 hasConcept C80444323 @default.
- W1569566513 hasConceptScore W1569566513C110251889 @default.
- W1569566513 hasConceptScore W1569566513C112505250 @default.
- W1569566513 hasConceptScore W1569566513C11413529 @default.
- W1569566513 hasConceptScore W1569566513C130367717 @default.
- W1569566513 hasConceptScore W1569566513C134306372 @default.
- W1569566513 hasConceptScore W1569566513C149635348 @default.
- W1569566513 hasConceptScore W1569566513C154945302 @default.
- W1569566513 hasConceptScore W1569566513C184337299 @default.
- W1569566513 hasConceptScore W1569566513C199360897 @default.
- W1569566513 hasConceptScore W1569566513C2524010 @default.
- W1569566513 hasConceptScore W1569566513C28472234 @default.
- W1569566513 hasConceptScore W1569566513C33923547 @default.
- W1569566513 hasConceptScore W1569566513C34388435 @default.
- W1569566513 hasConceptScore W1569566513C41008148 @default.
- W1569566513 hasConceptScore W1569566513C41550386 @default.
- W1569566513 hasConceptScore W1569566513C80444323 @default.
- W1569566513 hasLocation W15695665131 @default.
- W1569566513 hasLocation W15695665132 @default.
- W1569566513 hasOpenAccess W1569566513 @default.
- W1569566513 hasPrimaryLocation W15695665131 @default.
- W1569566513 hasRelatedWork W1598914363 @default.
- W1569566513 hasRelatedWork W1604827233 @default.
- W1569566513 hasRelatedWork W1748450182 @default.
- W1569566513 hasRelatedWork W2057623054 @default.
- W1569566513 hasRelatedWork W2110224202 @default.
- W1569566513 hasRelatedWork W2119055724 @default.
- W1569566513 hasRelatedWork W2137661662 @default.
- W1569566513 hasRelatedWork W2949390856 @default.
- W1569566513 hasRelatedWork W4295885746 @default.
- W1569566513 hasRelatedWork W1580211323 @default.
- W1569566513 isParatext "false" @default.
- W1569566513 isRetracted "false" @default.
- W1569566513 magId "1569566513" @default.
- W1569566513 workType "book-chapter" @default.