Matches in SemOpenAlex for { <https://semopenalex.org/work/W3017547503> ?p ?o ?g. }
Showing items 1 to 89 of
89
with 100 items per page.
- W3017547503 abstract "We present a novel bounded model checking (BMC) tool chain for multi-agent systems. This framework automatically translates the verification of system models against properties formulated in computation tree logics with epistemic modalities (CTLK) into quantified Boolean formulas (QBFs). Our framework exploits recent QBF technology for solving those verification problems and for certifying the result, making the implementation of a dedicated CTLK solver obsolete. The translation to QBF is based on existing theoretical work and implemented in our novel tool Open image in new window which extends the open-source model checker MCMAS. First experimental results are very promising and indicate the practical feasibility of our approach. Furthermore we provide novel benchmarks to the QBF community." @default.
- W3017547503 created "2020-05-01" @default.
- W3017547503 creator A5021337388 @default.
- W3017547503 creator A5042183912 @default.
- W3017547503 creator A5082596567 @default.
- W3017547503 date "2020-01-01" @default.
- W3017547503 modified "2023-09-27" @default.
- W3017547503 title "A Framework for Model Checking Against CTLK Using Quantified Boolean Formulas" @default.
- W3017547503 cites W1521782397 @default.
- W3017547503 cites W1556349476 @default.
- W3017547503 cites W1558152194 @default.
- W3017547503 cites W1587990038 @default.
- W3017547503 cites W1787074469 @default.
- W3017547503 cites W2070610324 @default.
- W3017547503 cites W2463075119 @default.
- W3017547503 cites W2799899844 @default.
- W3017547503 cites W2912640545 @default.
- W3017547503 doi "https://doi.org/10.1007/978-3-030-46902-3_8" @default.
- W3017547503 hasPublicationYear "2020" @default.
- W3017547503 type Work @default.
- W3017547503 sameAs 3017547503 @default.
- W3017547503 citedByCount "0" @default.
- W3017547503 crossrefType "book-chapter" @default.
- W3017547503 hasAuthorship W3017547503A5021337388 @default.
- W3017547503 hasAuthorship W3017547503A5042183912 @default.
- W3017547503 hasAuthorship W3017547503A5082596567 @default.
- W3017547503 hasConcept C104317684 @default.
- W3017547503 hasConcept C105580179 @default.
- W3017547503 hasConcept C110251889 @default.
- W3017547503 hasConcept C11413529 @default.
- W3017547503 hasConcept C134306372 @default.
- W3017547503 hasConcept C149364088 @default.
- W3017547503 hasConcept C165696696 @default.
- W3017547503 hasConcept C185592680 @default.
- W3017547503 hasConcept C199360897 @default.
- W3017547503 hasConcept C200415742 @default.
- W3017547503 hasConcept C2778770139 @default.
- W3017547503 hasConcept C33923547 @default.
- W3017547503 hasConcept C34388435 @default.
- W3017547503 hasConcept C38652104 @default.
- W3017547503 hasConcept C41008148 @default.
- W3017547503 hasConcept C45374587 @default.
- W3017547503 hasConcept C55493867 @default.
- W3017547503 hasConcept C80444323 @default.
- W3017547503 hasConceptScore W3017547503C104317684 @default.
- W3017547503 hasConceptScore W3017547503C105580179 @default.
- W3017547503 hasConceptScore W3017547503C110251889 @default.
- W3017547503 hasConceptScore W3017547503C11413529 @default.
- W3017547503 hasConceptScore W3017547503C134306372 @default.
- W3017547503 hasConceptScore W3017547503C149364088 @default.
- W3017547503 hasConceptScore W3017547503C165696696 @default.
- W3017547503 hasConceptScore W3017547503C185592680 @default.
- W3017547503 hasConceptScore W3017547503C199360897 @default.
- W3017547503 hasConceptScore W3017547503C200415742 @default.
- W3017547503 hasConceptScore W3017547503C2778770139 @default.
- W3017547503 hasConceptScore W3017547503C33923547 @default.
- W3017547503 hasConceptScore W3017547503C34388435 @default.
- W3017547503 hasConceptScore W3017547503C38652104 @default.
- W3017547503 hasConceptScore W3017547503C41008148 @default.
- W3017547503 hasConceptScore W3017547503C45374587 @default.
- W3017547503 hasConceptScore W3017547503C55493867 @default.
- W3017547503 hasConceptScore W3017547503C80444323 @default.
- W3017547503 hasLocation W30175475031 @default.
- W3017547503 hasOpenAccess W3017547503 @default.
- W3017547503 hasPrimaryLocation W30175475031 @default.
- W3017547503 hasRelatedWork W1499518299 @default.
- W3017547503 hasRelatedWork W1501346358 @default.
- W3017547503 hasRelatedWork W1506196350 @default.
- W3017547503 hasRelatedWork W1593793497 @default.
- W3017547503 hasRelatedWork W1839943810 @default.
- W3017547503 hasRelatedWork W1861949749 @default.
- W3017547503 hasRelatedWork W2013887890 @default.
- W3017547503 hasRelatedWork W2034609074 @default.
- W3017547503 hasRelatedWork W2086163366 @default.
- W3017547503 hasRelatedWork W2119280208 @default.
- W3017547503 hasRelatedWork W2135108322 @default.
- W3017547503 hasRelatedWork W2159319440 @default.
- W3017547503 hasRelatedWork W2303594568 @default.
- W3017547503 hasRelatedWork W2542590036 @default.
- W3017547503 hasRelatedWork W2621233686 @default.
- W3017547503 hasRelatedWork W2754427045 @default.
- W3017547503 hasRelatedWork W2791064931 @default.
- W3017547503 hasRelatedWork W2916471172 @default.
- W3017547503 hasRelatedWork W3204576071 @default.
- W3017547503 hasRelatedWork W60982031 @default.
- W3017547503 isParatext "false" @default.
- W3017547503 isRetracted "false" @default.
- W3017547503 magId "3017547503" @default.
- W3017547503 workType "book-chapter" @default.