Matches in SemOpenAlex for { <https://semopenalex.org/work/W4300481646> ?p ?o ?g. }
Showing items 1 to 86 of
86
with 100 items per page.
- W4300481646 abstract "Probabilistic timed automata are a suitable formalism to model systems with real-time, nondeterministic and probabilistic behaviour. We study two-player zero-sum games on such automata where the objective of the game is specified as the expected time to reach a target. The two players---called player Min and player Max---compete by proposing timed moves simultaneously and the move with a shorter delay is performed. The first player attempts to minimise the given objective while the second tries to maximise the objective. We observe that these games are not determined, and study decision problems related to computing the upper and lower values, showing that the problems are decidable and lie in the complexity class NEXPTIME $cap$ co-NEXPTIME." @default.
- W4300481646 created "2022-10-03" @default.
- W4300481646 creator A5020302140 @default.
- W4300481646 creator A5067544120 @default.
- W4300481646 creator A5081710233 @default.
- W4300481646 creator A5087974593 @default.
- W4300481646 date "2016-04-15" @default.
- W4300481646 modified "2023-10-17" @default.
- W4300481646 title "Expected Reachability-Time Games" @default.
- W4300481646 doi "https://doi.org/10.48550/arxiv.1604.04435" @default.
- W4300481646 hasPublicationYear "2016" @default.
- W4300481646 type Work @default.
- W4300481646 citedByCount "0" @default.
- W4300481646 crossrefType "posted-content" @default.
- W4300481646 hasAuthorship W4300481646A5020302140 @default.
- W4300481646 hasAuthorship W4300481646A5067544120 @default.
- W4300481646 hasAuthorship W4300481646A5081710233 @default.
- W4300481646 hasAuthorship W4300481646A5087974593 @default.
- W4300481646 hasBestOaLocation W43004816461 @default.
- W4300481646 hasConcept C112505250 @default.
- W4300481646 hasConcept C11413529 @default.
- W4300481646 hasConcept C115988155 @default.
- W4300481646 hasConcept C126255220 @default.
- W4300481646 hasConcept C136643341 @default.
- W4300481646 hasConcept C142362112 @default.
- W4300481646 hasConcept C144237770 @default.
- W4300481646 hasConcept C153269930 @default.
- W4300481646 hasConcept C153349607 @default.
- W4300481646 hasConcept C154945302 @default.
- W4300481646 hasConcept C170828538 @default.
- W4300481646 hasConcept C176181172 @default.
- W4300481646 hasConcept C177142836 @default.
- W4300481646 hasConcept C192034797 @default.
- W4300481646 hasConcept C200594392 @default.
- W4300481646 hasConcept C33923547 @default.
- W4300481646 hasConcept C41008148 @default.
- W4300481646 hasConcept C47187476 @default.
- W4300481646 hasConcept C49937458 @default.
- W4300481646 hasConcept C558565934 @default.
- W4300481646 hasConcept C56694532 @default.
- W4300481646 hasConcept C73301696 @default.
- W4300481646 hasConcept C73795354 @default.
- W4300481646 hasConcept C80444323 @default.
- W4300481646 hasConceptScore W4300481646C112505250 @default.
- W4300481646 hasConceptScore W4300481646C11413529 @default.
- W4300481646 hasConceptScore W4300481646C115988155 @default.
- W4300481646 hasConceptScore W4300481646C126255220 @default.
- W4300481646 hasConceptScore W4300481646C136643341 @default.
- W4300481646 hasConceptScore W4300481646C142362112 @default.
- W4300481646 hasConceptScore W4300481646C144237770 @default.
- W4300481646 hasConceptScore W4300481646C153269930 @default.
- W4300481646 hasConceptScore W4300481646C153349607 @default.
- W4300481646 hasConceptScore W4300481646C154945302 @default.
- W4300481646 hasConceptScore W4300481646C170828538 @default.
- W4300481646 hasConceptScore W4300481646C176181172 @default.
- W4300481646 hasConceptScore W4300481646C177142836 @default.
- W4300481646 hasConceptScore W4300481646C192034797 @default.
- W4300481646 hasConceptScore W4300481646C200594392 @default.
- W4300481646 hasConceptScore W4300481646C33923547 @default.
- W4300481646 hasConceptScore W4300481646C41008148 @default.
- W4300481646 hasConceptScore W4300481646C47187476 @default.
- W4300481646 hasConceptScore W4300481646C49937458 @default.
- W4300481646 hasConceptScore W4300481646C558565934 @default.
- W4300481646 hasConceptScore W4300481646C56694532 @default.
- W4300481646 hasConceptScore W4300481646C73301696 @default.
- W4300481646 hasConceptScore W4300481646C73795354 @default.
- W4300481646 hasConceptScore W4300481646C80444323 @default.
- W4300481646 hasLocation W43004816461 @default.
- W4300481646 hasLocation W43004816462 @default.
- W4300481646 hasLocation W43004816463 @default.
- W4300481646 hasLocation W43004816464 @default.
- W4300481646 hasOpenAccess W4300481646 @default.
- W4300481646 hasPrimaryLocation W43004816461 @default.
- W4300481646 hasRelatedWork W1851153456 @default.
- W4300481646 hasRelatedWork W2123911196 @default.
- W4300481646 hasRelatedWork W2128935480 @default.
- W4300481646 hasRelatedWork W2177564498 @default.
- W4300481646 hasRelatedWork W2293901330 @default.
- W4300481646 hasRelatedWork W2297612891 @default.
- W4300481646 hasRelatedWork W2616106208 @default.
- W4300481646 hasRelatedWork W2950227744 @default.
- W4300481646 hasRelatedWork W4300118318 @default.
- W4300481646 hasRelatedWork W4300481646 @default.
- W4300481646 isParatext "false" @default.
- W4300481646 isRetracted "false" @default.
- W4300481646 workType "article" @default.