Matches in SemOpenAlex for { <https://semopenalex.org/work/W65745150> ?p ?o ?g. }
Showing items 1 to 51 of
51
with 100 items per page.
- W65745150 endingPage "160" @default.
- W65745150 startingPage "151" @default.
- W65745150 abstract "In this paper we introduce a new approach for multi-agent simulation and statistical model checking that allows the use of very generic logical models based on the well-established situation calculus to describe the behavior of agents in the context of their environment. A consequent logic-based framework is achieved by combining the situation calculus with a first order version of bounded linear time logic (BLTL) as a property specification language. This creates a much more expressive and flexible modeling-verification workflow than existing solutions." @default.
- W65745150 created "2016-06-24" @default.
- W65745150 creator A5031485571 @default.
- W65745150 date "2014-01-01" @default.
- W65745150 modified "2023-09-26" @default.
- W65745150 title "Simulation and Statistical Model Checking of Logic-Based Multi-Agent System Models" @default.
- W65745150 cites W1489725951 @default.
- W65745150 cites W1498125516 @default.
- W65745150 cites W1631091010 @default.
- W65745150 cites W1973391999 @default.
- W65745150 cites W2023808162 @default.
- W65745150 cites W2062205093 @default.
- W65745150 cites W2126740902 @default.
- W65745150 cites W2144244247 @default.
- W65745150 cites W4230704549 @default.
- W65745150 cites W4252785764 @default.
- W65745150 doi "https://doi.org/10.1007/978-3-319-07650-8_16" @default.
- W65745150 hasPublicationYear "2014" @default.
- W65745150 type Work @default.
- W65745150 sameAs 65745150 @default.
- W65745150 citedByCount "1" @default.
- W65745150 countsByYear W657451502015 @default.
- W65745150 crossrefType "book-chapter" @default.
- W65745150 hasAuthorship W65745150A5031485571 @default.
- W65745150 hasBestOaLocation W657451502 @default.
- W65745150 hasConcept C110251889 @default.
- W65745150 hasConcept C41008148 @default.
- W65745150 hasConcept C80444323 @default.
- W65745150 hasConceptScore W65745150C110251889 @default.
- W65745150 hasConceptScore W65745150C41008148 @default.
- W65745150 hasConceptScore W65745150C80444323 @default.
- W65745150 hasLocation W657451501 @default.
- W65745150 hasLocation W657451502 @default.
- W65745150 hasOpenAccess W65745150 @default.
- W65745150 hasPrimaryLocation W657451501 @default.
- W65745150 hasRelatedWork W1483829320 @default.
- W65745150 hasRelatedWork W1543150587 @default.
- W65745150 hasRelatedWork W1557832504 @default.
- W65745150 hasRelatedWork W1978951759 @default.
- W65745150 hasRelatedWork W2134424614 @default.
- W65745150 hasRelatedWork W2177212599 @default.
- W65745150 hasRelatedWork W2364866360 @default.
- W65745150 hasRelatedWork W2370841479 @default.
- W65745150 hasRelatedWork W2551596431 @default.
- W65745150 hasRelatedWork W2736871302 @default.
- W65745150 isParatext "false" @default.
- W65745150 isRetracted "false" @default.
- W65745150 magId "65745150" @default.
- W65745150 workType "book-chapter" @default.