Raven Beutner
From MaRDI portal
Person:5875387
Available identifiers
zbMath Open beutner.ravenMaRDI QIDQ5875387
List of research outcomes
 | This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon! |
| Publication | Date of Publication | Type |
|---|---|---|
| Deciding hyperproperties combined with functional specifications | 2024-12-06 | Paper |
| Second-order hyperproperties | 2024-01-12 | Paper |
| AutoHyper: explicit-state model checking for HyperLTL | 2023-12-13 | Paper |
| HyperATL*: A Logic for Hyperproperties in Multi-Agent Systems | 2023-08-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q6176108 | 2023-08-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5875388 | 2023-02-03 | Paper |
| Software Verification of Hyperproperties Beyond k-Safety | 2022-12-07 | Paper |
Research outcomes over time
This page was built for person: Raven Beutner
