Matches in SemOpenAlex for { <https://semopenalex.org/work/W4385763916> ?p ?o ?g. }
Showing items 1 to 72 of
72
with 100 items per page.
- W4385763916 abstract "Formal verification of intelligent agents is often computationally infeasible due to state-space explosion. We present a tool for reducing the impact of the explosion by means of state abstraction that is (a) easy to use and understand by non-experts, and (b) agent-based in the sense that it operates on a modular representation of the system, rather than on its huge explicit state model." @default.
- W4385763916 created "2023-08-12" @default.
- W4385763916 creator A5019701853 @default.
- W4385763916 creator A5064340572 @default.
- W4385763916 date "2023-08-01" @default.
- W4385763916 modified "2023-09-28" @default.
- W4385763916 title "Practical Model Reductions for Verification of Multi-Agent Systems" @default.
- W4385763916 doi "https://doi.org/10.24963/ijcai.2023/834" @default.
- W4385763916 hasPublicationYear "2023" @default.
- W4385763916 type Work @default.
- W4385763916 citedByCount "0" @default.
- W4385763916 crossrefType "proceedings-article" @default.
- W4385763916 hasAuthorship W4385763916A5019701853 @default.
- W4385763916 hasAuthorship W4385763916A5064340572 @default.
- W4385763916 hasBestOaLocation W43857639161 @default.
- W4385763916 hasConcept C101468663 @default.
- W4385763916 hasConcept C105795698 @default.
- W4385763916 hasConcept C110251889 @default.
- W4385763916 hasConcept C111472728 @default.
- W4385763916 hasConcept C111498074 @default.
- W4385763916 hasConcept C120314980 @default.
- W4385763916 hasConcept C124304363 @default.
- W4385763916 hasConcept C138885662 @default.
- W4385763916 hasConcept C154945302 @default.
- W4385763916 hasConcept C17744445 @default.
- W4385763916 hasConcept C199360897 @default.
- W4385763916 hasConcept C199539241 @default.
- W4385763916 hasConcept C2776359362 @default.
- W4385763916 hasConcept C33923547 @default.
- W4385763916 hasConcept C41008148 @default.
- W4385763916 hasConcept C41550386 @default.
- W4385763916 hasConcept C48103436 @default.
- W4385763916 hasConcept C72434380 @default.
- W4385763916 hasConcept C80444323 @default.
- W4385763916 hasConcept C94625758 @default.
- W4385763916 hasConceptScore W4385763916C101468663 @default.
- W4385763916 hasConceptScore W4385763916C105795698 @default.
- W4385763916 hasConceptScore W4385763916C110251889 @default.
- W4385763916 hasConceptScore W4385763916C111472728 @default.
- W4385763916 hasConceptScore W4385763916C111498074 @default.
- W4385763916 hasConceptScore W4385763916C120314980 @default.
- W4385763916 hasConceptScore W4385763916C124304363 @default.
- W4385763916 hasConceptScore W4385763916C138885662 @default.
- W4385763916 hasConceptScore W4385763916C154945302 @default.
- W4385763916 hasConceptScore W4385763916C17744445 @default.
- W4385763916 hasConceptScore W4385763916C199360897 @default.
- W4385763916 hasConceptScore W4385763916C199539241 @default.
- W4385763916 hasConceptScore W4385763916C2776359362 @default.
- W4385763916 hasConceptScore W4385763916C33923547 @default.
- W4385763916 hasConceptScore W4385763916C41008148 @default.
- W4385763916 hasConceptScore W4385763916C41550386 @default.
- W4385763916 hasConceptScore W4385763916C48103436 @default.
- W4385763916 hasConceptScore W4385763916C72434380 @default.
- W4385763916 hasConceptScore W4385763916C80444323 @default.
- W4385763916 hasConceptScore W4385763916C94625758 @default.
- W4385763916 hasLocation W43857639161 @default.
- W4385763916 hasLocation W43857639162 @default.
- W4385763916 hasOpenAccess W4385763916 @default.
- W4385763916 hasPrimaryLocation W43857639161 @default.
- W4385763916 hasRelatedWork W1572578464 @default.
- W4385763916 hasRelatedWork W1600235415 @default.
- W4385763916 hasRelatedWork W2108408848 @default.
- W4385763916 hasRelatedWork W2136312285 @default.
- W4385763916 hasRelatedWork W2154822190 @default.
- W4385763916 hasRelatedWork W2177212599 @default.
- W4385763916 hasRelatedWork W2363827478 @default.
- W4385763916 hasRelatedWork W2380536301 @default.
- W4385763916 hasRelatedWork W2725751056 @default.
- W4385763916 hasRelatedWork W3023081192 @default.
- W4385763916 isParatext "false" @default.
- W4385763916 isRetracted "false" @default.
- W4385763916 workType "article" @default.