Search Results for author:
Found 5 papers, 0 papers with code
Non-Deterministic Planning for Hyperproperty Verification
We show that for large fragments of HyperLTL, the resulting planning instance corresponds to a classical, FOND, or POND planning problem.
Monitoring Second-Order Hyperproperties
For the parallel model, we show that the monitoring of the second-order hyperproperties of Hyper$^2$LTL$_f$ can be reduced to monitoring first-order hyperproperties.
Hyper Strategy Logic
In this paper, we present Hyper Strategy Logic (HyperSL), a strategy logic where the outcome of multiple strategy profiles can be compared w. r. t.
On Alternating-Time Temporal Logic, Hyperproperties, and Strategy Sharing
However, while ATL$^*$ can reason about the strategic ability of agents (e. g., some coalition $A$ can ensure that a goal is reached eventually), we cannot compare multiple strategic interactions, nor can we require multiple agents to follow the same strategy.
Guaranteed Bounds for Posterior Inference in Universal Probabilistic Programming
We propose a new method to approximate the posterior distribution of probabilistic programs by means of computing guaranteed bounds.
