Matches in SemOpenAlex for { <https://semopenalex.org/work/W4384388041> ?p ?o ?g. }
Showing items 1 to 81 of
81
with 100 items per page.
- W4384388041 abstract "In this paper we present a layered approach for multi-agent control problem, decomposed into three stages, each building upon the results of the previous one. First, a high-level plan for a coarse abstraction of the system is computed, relying on parametric timed automata augmented with stopwatches as they allow to efficiently model simplified dynamics of such systems. In the second stage, the high-level plan, based on SMT-formulation, mainly handles the combinatorial aspects of the problem, provides a more dynamically accurate solution. These stages are collectively referred to as the SWA-SMT solver. They are correct by construction but lack a crucial feature: they cannot be executed in real time. To overcome this, we use SWA-SMT solutions as the initial training dataset for our last stage, which aims at obtaining a neural network control policy. We use reinforcement learning to train the policy, and show that the initial dataset is crucial for the overall success of the method." @default.
- W4384388041 created "2023-07-15" @default.
- W4384388041 creator A5046262060 @default.
- W4384388041 creator A5047587289 @default.
- W4384388041 creator A5070485120 @default.
- W4384388041 date "2023-07-13" @default.
- W4384388041 modified "2023-09-26" @default.
- W4384388041 title "Layered controller synthesis for dynamic multi-agent systems" @default.
- W4384388041 doi "https://doi.org/10.48550/arxiv.2307.06758" @default.
- W4384388041 hasPublicationYear "2023" @default.
- W4384388041 type Work @default.
- W4384388041 citedByCount "0" @default.
- W4384388041 crossrefType "posted-content" @default.
- W4384388041 hasAuthorship W4384388041A5046262060 @default.
- W4384388041 hasAuthorship W4384388041A5047587289 @default.
- W4384388041 hasAuthorship W4384388041A5070485120 @default.
- W4384388041 hasBestOaLocation W43843880411 @default.
- W4384388041 hasConcept C105795698 @default.
- W4384388041 hasConcept C111472728 @default.
- W4384388041 hasConcept C112505250 @default.
- W4384388041 hasConcept C117251300 @default.
- W4384388041 hasConcept C124304363 @default.
- W4384388041 hasConcept C138885662 @default.
- W4384388041 hasConcept C154945302 @default.
- W4384388041 hasConcept C164155591 @default.
- W4384388041 hasConcept C166957645 @default.
- W4384388041 hasConcept C199360897 @default.
- W4384388041 hasConcept C203479927 @default.
- W4384388041 hasConcept C2775924081 @default.
- W4384388041 hasConcept C2776401178 @default.
- W4384388041 hasConcept C2776505523 @default.
- W4384388041 hasConcept C2778770139 @default.
- W4384388041 hasConcept C33923547 @default.
- W4384388041 hasConcept C41008148 @default.
- W4384388041 hasConcept C41895202 @default.
- W4384388041 hasConcept C50644808 @default.
- W4384388041 hasConcept C6557445 @default.
- W4384388041 hasConcept C80444323 @default.
- W4384388041 hasConcept C86803240 @default.
- W4384388041 hasConcept C95457728 @default.
- W4384388041 hasConcept C97541855 @default.
- W4384388041 hasConceptScore W4384388041C105795698 @default.
- W4384388041 hasConceptScore W4384388041C111472728 @default.
- W4384388041 hasConceptScore W4384388041C112505250 @default.
- W4384388041 hasConceptScore W4384388041C117251300 @default.
- W4384388041 hasConceptScore W4384388041C124304363 @default.
- W4384388041 hasConceptScore W4384388041C138885662 @default.
- W4384388041 hasConceptScore W4384388041C154945302 @default.
- W4384388041 hasConceptScore W4384388041C164155591 @default.
- W4384388041 hasConceptScore W4384388041C166957645 @default.
- W4384388041 hasConceptScore W4384388041C199360897 @default.
- W4384388041 hasConceptScore W4384388041C203479927 @default.
- W4384388041 hasConceptScore W4384388041C2775924081 @default.
- W4384388041 hasConceptScore W4384388041C2776401178 @default.
- W4384388041 hasConceptScore W4384388041C2776505523 @default.
- W4384388041 hasConceptScore W4384388041C2778770139 @default.
- W4384388041 hasConceptScore W4384388041C33923547 @default.
- W4384388041 hasConceptScore W4384388041C41008148 @default.
- W4384388041 hasConceptScore W4384388041C41895202 @default.
- W4384388041 hasConceptScore W4384388041C50644808 @default.
- W4384388041 hasConceptScore W4384388041C6557445 @default.
- W4384388041 hasConceptScore W4384388041C80444323 @default.
- W4384388041 hasConceptScore W4384388041C86803240 @default.
- W4384388041 hasConceptScore W4384388041C95457728 @default.
- W4384388041 hasConceptScore W4384388041C97541855 @default.
- W4384388041 hasLocation W43843880411 @default.
- W4384388041 hasOpenAccess W4384388041 @default.
- W4384388041 hasPrimaryLocation W43843880411 @default.
- W4384388041 hasRelatedWork W1538960375 @default.
- W4384388041 hasRelatedWork W1908450151 @default.
- W4384388041 hasRelatedWork W2039253823 @default.
- W4384388041 hasRelatedWork W2071659704 @default.
- W4384388041 hasRelatedWork W2291861006 @default.
- W4384388041 hasRelatedWork W2895557151 @default.
- W4384388041 hasRelatedWork W2959756750 @default.
- W4384388041 hasRelatedWork W3209094908 @default.
- W4384388041 hasRelatedWork W4210912933 @default.
- W4384388041 hasRelatedWork W4380479756 @default.
- W4384388041 isParatext "false" @default.
- W4384388041 isRetracted "false" @default.
- W4384388041 workType "article" @default.