Matches in SemOpenAlex for { <https://semopenalex.org/work/W3085964295> ?p ?o ?g. }
Showing items 1 to 80 of
80
with 100 items per page.
- W3085964295 endingPage "95" @default.
- W3085964295 startingPage "59" @default.
- W3085964295 abstract "We formalise and study multi-agent timed models MAPTs (Multi-Agent with Periodic timed Tasks), where each agent is associated with a regular timed schema upon which all possible actions of the agent rely. MAPTs allow for an accelerated semantics and a layered structure of the state space, so that it is possible to explore the latter dynamically and use heuristics to greatly reduce the computation time needed to address reachability problems. We use an available tool for the Petri net implementation of MAPTs, to explore the state space of autonomous vehicle systems. Then, we compare this exploration with timed automata-based approaches in terms of expressiveness of available queries and computation time." @default.
- W3085964295 created "2020-09-21" @default.
- W3085964295 creator A5010761880 @default.
- W3085964295 creator A5046693089 @default.
- W3085964295 creator A5079564039 @default.
- W3085964295 date "2020-09-28" @default.
- W3085964295 modified "2023-09-26" @default.
- W3085964295 title "Dynamic Exploration of Multi-agent Systems with Periodic Timed Tasks" @default.
- W3085964295 doi "https://doi.org/10.3233/fi-2020-1948" @default.
- W3085964295 hasPublicationYear "2020" @default.
- W3085964295 type Work @default.
- W3085964295 sameAs 3085964295 @default.
- W3085964295 citedByCount "1" @default.
- W3085964295 countsByYear W30859642952023 @default.
- W3085964295 crossrefType "journal-article" @default.
- W3085964295 hasAuthorship W3085964295A5010761880 @default.
- W3085964295 hasAuthorship W3085964295A5046693089 @default.
- W3085964295 hasAuthorship W3085964295A5079564039 @default.
- W3085964295 hasConcept C105795698 @default.
- W3085964295 hasConcept C111919701 @default.
- W3085964295 hasConcept C112505250 @default.
- W3085964295 hasConcept C119857082 @default.
- W3085964295 hasConcept C120314980 @default.
- W3085964295 hasConcept C127705205 @default.
- W3085964295 hasConcept C136643341 @default.
- W3085964295 hasConcept C154945302 @default.
- W3085964295 hasConcept C184337299 @default.
- W3085964295 hasConcept C199360897 @default.
- W3085964295 hasConcept C30788636 @default.
- W3085964295 hasConcept C33923547 @default.
- W3085964295 hasConcept C38677869 @default.
- W3085964295 hasConcept C41008148 @default.
- W3085964295 hasConcept C41550386 @default.
- W3085964295 hasConcept C45374587 @default.
- W3085964295 hasConcept C48103436 @default.
- W3085964295 hasConcept C52146309 @default.
- W3085964295 hasConcept C72434380 @default.
- W3085964295 hasConcept C80444323 @default.
- W3085964295 hasConceptScore W3085964295C105795698 @default.
- W3085964295 hasConceptScore W3085964295C111919701 @default.
- W3085964295 hasConceptScore W3085964295C112505250 @default.
- W3085964295 hasConceptScore W3085964295C119857082 @default.
- W3085964295 hasConceptScore W3085964295C120314980 @default.
- W3085964295 hasConceptScore W3085964295C127705205 @default.
- W3085964295 hasConceptScore W3085964295C136643341 @default.
- W3085964295 hasConceptScore W3085964295C154945302 @default.
- W3085964295 hasConceptScore W3085964295C184337299 @default.
- W3085964295 hasConceptScore W3085964295C199360897 @default.
- W3085964295 hasConceptScore W3085964295C30788636 @default.
- W3085964295 hasConceptScore W3085964295C33923547 @default.
- W3085964295 hasConceptScore W3085964295C38677869 @default.
- W3085964295 hasConceptScore W3085964295C41008148 @default.
- W3085964295 hasConceptScore W3085964295C41550386 @default.
- W3085964295 hasConceptScore W3085964295C45374587 @default.
- W3085964295 hasConceptScore W3085964295C48103436 @default.
- W3085964295 hasConceptScore W3085964295C52146309 @default.
- W3085964295 hasConceptScore W3085964295C72434380 @default.
- W3085964295 hasConceptScore W3085964295C80444323 @default.
- W3085964295 hasIssue "1-4" @default.
- W3085964295 hasLocation W30859642951 @default.
- W3085964295 hasLocation W30859642952 @default.
- W3085964295 hasOpenAccess W3085964295 @default.
- W3085964295 hasPrimaryLocation W30859642951 @default.
- W3085964295 hasRelatedWork W1517759046 @default.
- W3085964295 hasRelatedWork W1897277602 @default.
- W3085964295 hasRelatedWork W2007842567 @default.
- W3085964295 hasRelatedWork W2021255060 @default.
- W3085964295 hasRelatedWork W2027876282 @default.
- W3085964295 hasRelatedWork W2040791800 @default.
- W3085964295 hasRelatedWork W2952488268 @default.
- W3085964295 hasRelatedWork W3085964295 @default.
- W3085964295 hasRelatedWork W4285787290 @default.
- W3085964295 hasRelatedWork W4293399526 @default.
- W3085964295 hasVolume "175" @default.
- W3085964295 isParatext "false" @default.
- W3085964295 isRetracted "false" @default.
- W3085964295 magId "3085964295" @default.
- W3085964295 workType "article" @default.