Matches in SemOpenAlex for { <https://semopenalex.org/work/W2771874428> ?p ?o ?g. }
Showing items 1 to 93 of
93
with 100 items per page.
- W2771874428 abstract "Probabilistic timed automata (PTAs) are timed automata (TAs) extended with discrete probability distributions.They serve as a mathematical model for a wide range of applications that involve both stochastic and timed behaviours. In this work, we consider the problem of model-checking linear emph{dense-time} properties over {PTAs}. In particular, we study linear dense-time properties that can be encoded by TAs with infinite acceptance criterion.First, we show that the problem of model-checking PTAs against deterministic-TA specifications can be solved through a product construction. Based on the product construction, we prove that the computational complexity of the problem with deterministic-TA specifications is EXPTIME-complete. Then we show that when relaxed to general (nondeterministic) TAs, the model-checking problem becomes undecidable.Our results substantially extend state of the art with both the dense-time feature and the nondeterminism in TAs." @default.
- W2771874428 created "2017-12-22" @default.
- W2771874428 creator A5031020748 @default.
- W2771874428 creator A5035218043 @default.
- W2771874428 creator A5064842058 @default.
- W2771874428 creator A5081589298 @default.
- W2771874428 date "2017-12-01" @default.
- W2771874428 modified "2023-09-27" @default.
- W2771874428 title "Verifying Probabilistic Timed Automata Against Omega-Regular Dense-Time Properties" @default.
- W2771874428 cites W1496256885 @default.
- W2771874428 cites W1498432697 @default.
- W2771874428 cites W1760491810 @default.
- W2771874428 cites W1862398452 @default.
- W2771874428 cites W2009280542 @default.
- W2771874428 cites W2009363597 @default.
- W2771874428 cites W2026629052 @default.
- W2771874428 cites W2028222307 @default.
- W2771874428 cites W2086673120 @default.
- W2771874428 cites W2095602520 @default.
- W2771874428 cites W2101508170 @default.
- W2771874428 cites W2153675518 @default.
- W2771874428 cites W2950366798 @default.
- W2771874428 doi "https://doi.org/10.48550/arxiv.1712.00275" @default.
- W2771874428 hasPublicationYear "2017" @default.
- W2771874428 type Work @default.
- W2771874428 sameAs 2771874428 @default.
- W2771874428 citedByCount "0" @default.
- W2771874428 crossrefType "posted-content" @default.
- W2771874428 hasAuthorship W2771874428A5031020748 @default.
- W2771874428 hasAuthorship W2771874428A5035218043 @default.
- W2771874428 hasAuthorship W2771874428A5064842058 @default.
- W2771874428 hasAuthorship W2771874428A5081589298 @default.
- W2771874428 hasBestOaLocation W27718744281 @default.
- W2771874428 hasConcept C110251889 @default.
- W2771874428 hasConcept C112505250 @default.
- W2771874428 hasConcept C11413529 @default.
- W2771874428 hasConcept C153269930 @default.
- W2771874428 hasConcept C154945302 @default.
- W2771874428 hasConcept C159985019 @default.
- W2771874428 hasConcept C176181172 @default.
- W2771874428 hasConcept C179799912 @default.
- W2771874428 hasConcept C192034797 @default.
- W2771874428 hasConcept C192562407 @default.
- W2771874428 hasConcept C197685441 @default.
- W2771874428 hasConcept C204323151 @default.
- W2771874428 hasConcept C2524010 @default.
- W2771874428 hasConcept C311688 @default.
- W2771874428 hasConcept C33923547 @default.
- W2771874428 hasConcept C41008148 @default.
- W2771874428 hasConcept C4777664 @default.
- W2771874428 hasConcept C49937458 @default.
- W2771874428 hasConcept C56049555 @default.
- W2771874428 hasConcept C80444323 @default.
- W2771874428 hasConcept C90673727 @default.
- W2771874428 hasConceptScore W2771874428C110251889 @default.
- W2771874428 hasConceptScore W2771874428C112505250 @default.
- W2771874428 hasConceptScore W2771874428C11413529 @default.
- W2771874428 hasConceptScore W2771874428C153269930 @default.
- W2771874428 hasConceptScore W2771874428C154945302 @default.
- W2771874428 hasConceptScore W2771874428C159985019 @default.
- W2771874428 hasConceptScore W2771874428C176181172 @default.
- W2771874428 hasConceptScore W2771874428C179799912 @default.
- W2771874428 hasConceptScore W2771874428C192034797 @default.
- W2771874428 hasConceptScore W2771874428C192562407 @default.
- W2771874428 hasConceptScore W2771874428C197685441 @default.
- W2771874428 hasConceptScore W2771874428C204323151 @default.
- W2771874428 hasConceptScore W2771874428C2524010 @default.
- W2771874428 hasConceptScore W2771874428C311688 @default.
- W2771874428 hasConceptScore W2771874428C33923547 @default.
- W2771874428 hasConceptScore W2771874428C41008148 @default.
- W2771874428 hasConceptScore W2771874428C4777664 @default.
- W2771874428 hasConceptScore W2771874428C49937458 @default.
- W2771874428 hasConceptScore W2771874428C56049555 @default.
- W2771874428 hasConceptScore W2771874428C80444323 @default.
- W2771874428 hasConceptScore W2771874428C90673727 @default.
- W2771874428 hasLocation W27718744281 @default.
- W2771874428 hasLocation W27718744282 @default.
- W2771874428 hasOpenAccess W2771874428 @default.
- W2771874428 hasPrimaryLocation W27718744281 @default.
- W2771874428 hasRelatedWork W1518436864 @default.
- W2771874428 hasRelatedWork W1834081712 @default.
- W2771874428 hasRelatedWork W2121482121 @default.
- W2771874428 hasRelatedWork W2123894953 @default.
- W2771874428 hasRelatedWork W2481947210 @default.
- W2771874428 hasRelatedWork W2625519638 @default.
- W2771874428 hasRelatedWork W2771874428 @default.
- W2771874428 hasRelatedWork W2963868694 @default.
- W2771874428 hasRelatedWork W4286501281 @default.
- W2771874428 hasRelatedWork W4362564437 @default.
- W2771874428 isParatext "false" @default.
- W2771874428 isRetracted "false" @default.
- W2771874428 magId "2771874428" @default.
- W2771874428 workType "article" @default.