Matches in SemOpenAlex for { <https://semopenalex.org/work/W2221045872> ?p ?o ?g. }
Showing items 1 to 85 of
85
with 100 items per page.
- W2221045872 endingPage "1672" @default.
- W2221045872 startingPage "1671" @default.
- W2221045872 abstract "We define the SMT-based bounded model checking (BMC) method for Weighted Interpreted Systems and for the existential fragment of the Weighted Epistemic Computation Tree Logic. We implemented the new BMC algorithm and compared it with the SAT-based BMC method for the same systems and the same property language on several benchmarks for multi-agent systems." @default.
- W2221045872 created "2016-06-24" @default.
- W2221045872 creator A5037050989 @default.
- W2221045872 creator A5037418855 @default.
- W2221045872 creator A5040200686 @default.
- W2221045872 date "2015-05-04" @default.
- W2221045872 modified "2023-09-28" @default.
- W2221045872 title "SMT-based Bounded Model Checking for Weighted Interpreted Systems and for Weighted Epistemic ECTL" @default.
- W2221045872 cites W1568323880 @default.
- W2221045872 cites W208863569 @default.
- W2221045872 cites W2146819619 @default.
- W2221045872 cites W2148717074 @default.
- W2221045872 cites W2396555304 @default.
- W2221045872 cites W249579701 @default.
- W2221045872 cites W267423502 @default.
- W2221045872 doi "https://doi.org/10.5555/2772879.2773378" @default.
- W2221045872 hasPublicationYear "2015" @default.
- W2221045872 type Work @default.
- W2221045872 sameAs 2221045872 @default.
- W2221045872 citedByCount "0" @default.
- W2221045872 crossrefType "proceedings-article" @default.
- W2221045872 hasAuthorship W2221045872A5037050989 @default.
- W2221045872 hasAuthorship W2221045872A5037418855 @default.
- W2221045872 hasAuthorship W2221045872A5040200686 @default.
- W2221045872 hasConcept C110251889 @default.
- W2221045872 hasConcept C111472728 @default.
- W2221045872 hasConcept C11413529 @default.
- W2221045872 hasConcept C118615104 @default.
- W2221045872 hasConcept C127882523 @default.
- W2221045872 hasConcept C134306372 @default.
- W2221045872 hasConcept C138885662 @default.
- W2221045872 hasConcept C189950617 @default.
- W2221045872 hasConcept C198008173 @default.
- W2221045872 hasConcept C199360897 @default.
- W2221045872 hasConcept C2776235265 @default.
- W2221045872 hasConcept C33923547 @default.
- W2221045872 hasConcept C34388435 @default.
- W2221045872 hasConcept C41008148 @default.
- W2221045872 hasConcept C45374587 @default.
- W2221045872 hasConcept C80444323 @default.
- W2221045872 hasConceptScore W2221045872C110251889 @default.
- W2221045872 hasConceptScore W2221045872C111472728 @default.
- W2221045872 hasConceptScore W2221045872C11413529 @default.
- W2221045872 hasConceptScore W2221045872C118615104 @default.
- W2221045872 hasConceptScore W2221045872C127882523 @default.
- W2221045872 hasConceptScore W2221045872C134306372 @default.
- W2221045872 hasConceptScore W2221045872C138885662 @default.
- W2221045872 hasConceptScore W2221045872C189950617 @default.
- W2221045872 hasConceptScore W2221045872C198008173 @default.
- W2221045872 hasConceptScore W2221045872C199360897 @default.
- W2221045872 hasConceptScore W2221045872C2776235265 @default.
- W2221045872 hasConceptScore W2221045872C33923547 @default.
- W2221045872 hasConceptScore W2221045872C34388435 @default.
- W2221045872 hasConceptScore W2221045872C41008148 @default.
- W2221045872 hasConceptScore W2221045872C45374587 @default.
- W2221045872 hasConceptScore W2221045872C80444323 @default.
- W2221045872 hasLocation W22210458721 @default.
- W2221045872 hasOpenAccess W2221045872 @default.
- W2221045872 hasPrimaryLocation W22210458721 @default.
- W2221045872 hasRelatedWork W129354385 @default.
- W2221045872 hasRelatedWork W1553268179 @default.
- W2221045872 hasRelatedWork W1629194360 @default.
- W2221045872 hasRelatedWork W191721050 @default.
- W2221045872 hasRelatedWork W1969384890 @default.
- W2221045872 hasRelatedWork W1972843406 @default.
- W2221045872 hasRelatedWork W2052810966 @default.
- W2221045872 hasRelatedWork W21057744 @default.
- W2221045872 hasRelatedWork W2188390093 @default.
- W2221045872 hasRelatedWork W2376987715 @default.
- W2221045872 hasRelatedWork W2402998330 @default.
- W2221045872 hasRelatedWork W2403217574 @default.
- W2221045872 hasRelatedWork W2404071967 @default.
- W2221045872 hasRelatedWork W2407395498 @default.
- W2221045872 hasRelatedWork W249579701 @default.
- W2221045872 hasRelatedWork W2527706068 @default.
- W2221045872 hasRelatedWork W2750277349 @default.
- W2221045872 hasRelatedWork W75340041 @default.
- W2221045872 hasRelatedWork W1853362858 @default.
- W2221045872 hasRelatedWork W2183411246 @default.
- W2221045872 isParatext "false" @default.
- W2221045872 isRetracted "false" @default.
- W2221045872 magId "2221045872" @default.
- W2221045872 workType "article" @default.