A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit <a rel="external noopener" href="https://link.springer.com/content/pdf/10.1007%2F978-3-030-53291-8_4.pdf">the original URL</a>. The file type is <code>application/pdf</code>.
Filters
Realizing $$\omega $$-regular Hyperproperties
[chapter]
<span title="">2020</span>
<i title="Springer International Publishing">
<a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a>
</i>
Preserved Fulltext
Other Versions
<span title="2021-01-18">2021</span>
<span class="release-stage" >pre-print</span>
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/2101.07161v1">arXiv:2101.07161v1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/4kybnbqtevfjvc2by5v2hod2hq">fatcat:4kybnbqtevfjvc2by5v2hod2hq</a> </span>
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/2101.07161v1">arXiv:2101.07161v1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/4kybnbqtevfjvc2by5v2hod2hq">fatcat:4kybnbqtevfjvc2by5v2hod2hq</a> </span>
At the same time, we argued that the expressiveness of HyperQPTL is optimal in a sense that a more expressive logic for ω-regular hyperproperties would have an undecidable model checking problem. ...
We studied the hyperlogic HyperQPTL, which combines the concepts of trace relations and ω-regularity. ...
ω-Regular Hyperproperties Just like LTL, HyperLTL cannot express ω-regular languages [29] . LTL can be extended to QPTL by adding quantification over atomic propositions. ...
<span class="external-identifiers">
<a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-030-53291-8_4">doi:10.1007/978-3-030-53291-8_4</a>
<a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/nx45so3bxnb2zgubj4anbr77t4">fatcat:nx45so3bxnb2zgubj4anbr77t4</a>
</span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200716064504/https://link.springer.com/content/pdf/10.1007%2F978-3-030-53291-8_4.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext">
<button class="ui simple right pointing dropdown compact black labeled icon button serp-button">
<i class="icon ia-icon"></i>
Web Archive
[PDF]
<div class="menu fulltext-thumbnail">
<img src="https://blobs.fatcat.wiki/thumbnail/pdf/a4/85/a4855c3296fb54a405f7f3a6c7cacee8a67de228.180px.jpg" alt="fulltext thumbnail" loading="lazy">
</div>
</button>
</a>
<a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-030-53291-8_4">
<button class="ui left aligned compact blue labeled icon button serp-button">
<i class="unlock alternate icon" style="background-color: #fb971f;"></i>
springer.com
</button>
</a>
HyperLTL Satisfiability is Σ_1^1-complete, HyperCTL* Satisfiability is Σ_1^2-complete
[article]
<span title="2021-05-10">2021</span>
<i >
arXiv
</i>
<span class="release-stage" >pre-print</span>
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit <a rel="external noopener" href="https://arxiv.org/pdf/2105.04176v1.pdf">the original URL</a>. The file type is <code>application/pdf</code>.
Realizing omega-
regular hyperproperties. In Shuvendu K. Lahiri and Chao Wang, editors, CAV 2020, Part II,
volume 12225 of LNCS, pages 40-63. ...
A combinatorial approach to the theory of omega-automata. Inf. ...
<span class="external-identifiers">
<a target="_blank" rel="external noopener" href="https://arxiv.org/abs/2105.04176v1">arXiv:2105.04176v1</a>
<a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/of66ktmjtrhcrja43lgrqyl4wi">fatcat:of66ktmjtrhcrja43lgrqyl4wi</a>
</span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20210512182449/https://arxiv.org/pdf/2105.04176v1.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext">
<button class="ui simple right pointing dropdown compact black labeled icon button serp-button">
<i class="icon ia-icon"></i>
Web Archive
[PDF]
<div class="menu fulltext-thumbnail">
<img src="https://blobs.fatcat.wiki/thumbnail/pdf/97/d8/97d85924be8d4f7553d30d9fd5c666751ee698de.180px.jpg" alt="fulltext thumbnail" loading="lazy">
</div>
</button>
</a>
<a target="_blank" rel="external noopener" href="https://arxiv.org/abs/2105.04176v1" title="arxiv.org access">
<button class="ui compact blue labeled icon button serp-button">
<i class="file alternate outline icon"></i>
arxiv.org
</button>
</a>
Formal Specification and Verification for Automated Production Systems
<span title="">2021</span>
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit <a rel="external noopener" href="https://publikationen.bibliothek.kit.edu/1000140942/135507309">the original URL</a>. The file type is <code>application/pdf</code>.
For example, gtts
are not an ω-regular language description. ω-regularity means that a given
notion can describe (or accept) every language, which can be described by a
regular expression of ω. ...
FTL allows the description of regular events,
which are sets of finite state sequences described by regular expressions. ...
<span class="external-identifiers">
<a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.5445/ir/1000140942">doi:10.5445/ir/1000140942</a>
<a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/2kpqqt2monhvpbmmhtanxodlpy">fatcat:2kpqqt2monhvpbmmhtanxodlpy</a>
</span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20211211131430/https://publikationen.bibliothek.kit.edu/1000140942/135507309" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext">
<button class="ui simple right pointing dropdown compact black labeled icon button serp-button">
<i class="icon ia-icon"></i>
Web Archive
[PDF]
<div class="menu fulltext-thumbnail">
<img src="https://blobs.fatcat.wiki/thumbnail/pdf/9d/a3/9da32411e54ebb5a144cc51c7d0f612aead3d0eb.180px.jpg" alt="fulltext thumbnail" loading="lazy">
</div>
</button>
</a>
<a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.5445/ir/1000140942">
<button class="ui left aligned compact blue labeled icon button serp-button">
<i class="external alternate icon"></i>
Publisher / doi.org
</button>
</a>
Dagstuhl Reports, Volume 11, Issue 10, October 2021, Complete Issue
[article]
<span title="2022-04-11">2022</span>
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit <a rel="external noopener" href="https://drops.dagstuhl.de/opus/volltexte/2022/15923/pdf/dagrep-v011-i010-complete.pdf">the original URL</a>. The file type is <code>application/pdf</code>.
For each σ-ideal I on the Baire space, Khomskii introduced a regularity property called I-regularity, and developed a general theory of I-regularity. ...
The technique builds on realizability as introduced by Kleene and Kreisel in the 1940s and 1950s. ...
Algorithms operating on such streams can be extracted from formal proofs involving a unary coinductive predicate CoI on (standard) real numbers x: a realizer of CoI(x) is a stream representing x. ...
<span class="external-identifiers">
<a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.4230/dagrep.11.10">doi:10.4230/dagrep.11.10</a>
<a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/mqui2qttdrdt7p6y3nbkkodoci">fatcat:mqui2qttdrdt7p6y3nbkkodoci</a>
</span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20220618104722/https://drops.dagstuhl.de/opus/volltexte/2022/15923/pdf/dagrep-v011-i010-complete.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext">
<button class="ui simple right pointing dropdown compact black labeled icon button serp-button">
<i class="icon ia-icon"></i>
Web Archive
[PDF]
<div class="menu fulltext-thumbnail">
<img src="https://blobs.fatcat.wiki/thumbnail/pdf/d3/39/d3396ea004dd9d884216a3bfe966d79b3922a74f.180px.jpg" alt="fulltext thumbnail" loading="lazy">
</div>
</button>
</a>
<a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.4230/dagrep.11.10">
<button class="ui left aligned compact blue labeled icon button serp-button">
<i class="unlock alternate icon" style="background-color: #fb971f;"></i>
Publisher / doi.org
</button>
</a>
Dagstuhl Reports, Volume 7, Issue 11, November 2017, Complete Issue
[article]
<span title="2018-08-29">2018</span>
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit <a rel="external noopener" href="https://drops.dagstuhl.de/opus/volltexte/2018/9731/pdf/dagrep-v007-i011-complete.pdf">the original URL</a>. The file type is <code>application/pdf</code>.
Realizing these potential presents a rich multi-disciplinary research agenda. ...
A good example here would be regular expressions, defined (denotationally) as the sets of strings that they represent. ...
CLIA labs are certified labs that go through a process of regular re-certification and monitoring by FDA and other regulatory agencies in the US. ...
<span class="external-identifiers">
<a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.4230/dagrep.7.11">doi:10.4230/dagrep.7.11</a>
<a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/pk2gs776vzftffmrue3j2xdgoy">fatcat:pk2gs776vzftffmrue3j2xdgoy</a>
</span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20220123034323/https://drops.dagstuhl.de/opus/volltexte/2018/9731/pdf/dagrep-v007-i011-complete.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext">
<button class="ui simple right pointing dropdown compact black labeled icon button serp-button">
<i class="icon ia-icon"></i>
Web Archive
[PDF]
<div class="menu fulltext-thumbnail">
<img src="https://blobs.fatcat.wiki/thumbnail/pdf/61/0e/610e67d2dbd0ae491e88dd08c4e9dbde05330679.180px.jpg" alt="fulltext thumbnail" loading="lazy">
</div>
</button>
</a>
<a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.4230/dagrep.7.11">
<button class="ui left aligned compact blue labeled icon button serp-button">
<i class="unlock alternate icon" style="background-color: #fb971f;"></i>
Publisher / doi.org
</button>
</a>