Semantisches Browsen
Aus International Center for Computational Logic
In this paper we provide a summary of the … In this paper we provide a summary of the fundamental properties of probabilistic automata over infinite words. Such probabilistic automata are a variant of standard automata with Büchi or other ω-regular acceptance conditions, such as Rabin, Streett, parity or Müller, where the nondeterministic choices are resolved probabilistically. Acceptance of an infinite input word can be defined in different ways: by requiring that (i) almost all runs are accepting, or (ii) the probability for the accepting runs is positive, or (iii) the probability measure of the accepting runs is beyond a certain threshold. Surprisingly, even the qualitative criteria (i) and (ii) yield a different picture concerning expressiveness, efficiency, and decision problems compared to the nondeterministic case.ems compared to the nondeterministic case. +
@inproceedings{BBG2009,
author = {Christel Baier and Nathalie Bertrand and Marcus Gr{\"{o}}{\ss}er},
title = {The effect of tossing coins in omega-automata},
booktitle = {Proc. of the 20th International Conference on Concurrency Theory
(CONCUR)},
series = {Lecture Notes in Computer Science},
volume = {5710},
publisher = {Springer},
year = {2009},
pages = {15--29},
doi = {10.1007/978-3-642-04081-8_2}
}
author = {Christel Baier and Nathalie Bertrand and Marcus Gr{\"{o}}{\ss}er},
title = {The effect of tossing coins in omega-automata},
booktitle = {Proc. of the 20th International Conference on Concurrency Theory
(CONCUR)},
series = {Lecture Notes in Computer Science},
volume = {5710},
publisher = {Springer},
year = {2009},
pages = {15--29},
doi = {10.1007/978-3-642-04081-8_2}
}
Baier +
Christel +
Christel Baier, Nathalie Bertrand, Marcus … Christel Baier, Nathalie Bertrand, Marcus Größer<br/> '''[[Inproceedings777661062|<b>The effect of tossing coins in omega-automata</b>]]''' <br/>__NOTOC__<i>Proc. of the 20th International Conference on Concurrency Theory (CONCUR)</i>, volume 5710 of Lecture Notes in Computer Science, 15--29, 2009. Springer<br/><span class="fas fa-chevron-right" style="font-size: 85%;" ></span> [[Inproceedings777661062|Details]]ings777661062|Details]] +
Christel Baier, Nathalie Bertrand, Marcus … Christel Baier, Nathalie Bertrand, Marcus Größer<br/> '''[[Inproceedings777661062/en|<b>The effect of tossing coins in omega-automata</b>]]''' <br/>__NOTOC__<i>Proc. of the 20th International Conference on Concurrency Theory (CONCUR)</i>, volume 5710 of Lecture Notes in Computer Science, 15--29, 2009. Springer<br/><span class="fas fa-chevron-right" style="font-size: 85%;" ></span> [[Inproceedings777661062|Details]]ings777661062|Details]] +
Display title of"Display title of" is a predefined property that can assign a distinct display title to an entity and is provided by <a rel="nofollow" class="external text" href="https://www.semantic-mediawiki.org/wiki/Help:Special_properties">Semantic MediaWiki</a>.
The effect of tossing coins in omega-automata +
Modification date"Zuletzt geändert <span style="font-size:small;">(Modification date)</span>" is a predefined property that corresponds to the date of the last modification of a subject and is provided by <a rel="nofollow" class="external text" href="https://www.semantic-mediawiki.org/wiki/Help:Special_properties">Semantic MediaWiki</a>.
5. März 2025, 13:43:27 +
Has query"Hat Abfrage <span style="font-size:small;">(Has query)</span>" is a predefined property that represents meta information (in form of a <a rel="nofollow" class="external text" href="https://www.semantic-mediawiki.org/wiki/Subobject">subobject</a>) about individual queries and is provided by <a rel="nofollow" class="external text" href="https://www.semantic-mediawiki.org/wiki/Help:Special_properties">Semantic MediaWiki</a>.
The effect of tossing coins in omega-automata +, The effect of tossing coins in omega-automata +, The effect of tossing coins in omega-automata +, The effect of tossing coins in omega-automata +, The effect of tossing coins in omega-automata +, The effect of tossing coins in omega-automata + and The effect of tossing coins in omega-automata +
