Zobrazeno 1 - 10
of 695
pro vyhledávání: '"Henzinger, Thomas A"'
We study the problem of predictive runtime monitoring of black-box dynamical systems with quantitative safety properties. The black-box setting stipulates that the exact semantics of the dynamical system and the controller are unknown, and that we ar
Externí odkaz:
http://arxiv.org/abs/2412.16564
Learning-based methods provide a promising approach to solving highly non-linear control tasks that are often challenging for classical control methods. To ensure the satisfaction of a safety property, learning-based methods jointly learn a control p
Externí odkaz:
http://arxiv.org/abs/2412.12996
Autor:
Cano, Filip, Henzinger, Thomas A., Könighofer, Bettina, Kueffner, Konstantin, Mallik, Kaushik
As AI-based decision-makers increasingly influence human lives, it is a growing concern that their decisions are often unfair or biased with respect to people's sensitive attributes, such as gender and race. Most existing bias prevention measures pro
Externí odkaz:
http://arxiv.org/abs/2412.11994
System behaviors are traditionally evaluated through binary classifications of correctness, which do not suffice for properties involving quantitative aspects of systems and executions. Quantitative automata offer a more nuanced approach, mapping eac
Externí odkaz:
http://arxiv.org/abs/2409.03569
We study the following refinement relation between nondeterministic state-transition models: model B strategically dominates model A iff every deterministic refinement of A is language contained in some deterministic refinement of B. While language c
Externí odkaz:
http://arxiv.org/abs/2407.10473
An automaton is history-deterministic if its nondeterminism can be resolved on the fly, only using the prefix of the word read so far. This mild form of nondeterminism has attracted particular attention for its applications in synthesis problems. An
Externí odkaz:
http://arxiv.org/abs/2407.08620
Graph games lie at the algorithmic core of many automated design problems in computer science. These are games usually played between two players on a given graph, where the players keep moving a token along the edges according to pre-determined rule
Externí odkaz:
http://arxiv.org/abs/2407.06288
Information-flow interfaces is a formalism recently proposed for specifying, composing, and refining system-wide security requirements. In this work, we show how the widely used concept of security lattices provides a natural semantic interpretation
Externí odkaz:
http://arxiv.org/abs/2406.14374
Autor:
Žikelić, Đorđe, Lechner, Mathias, Verma, Abhinav, Chatterjee, Krishnendu, Henzinger, Thomas A.
Reinforcement learning has shown promising results in learning neural network policies for complicated control tasks. However, the lack of formal guarantees about the behavior of such policies remains an impediment to their deployment. We propose a n
Externí odkaz:
http://arxiv.org/abs/2312.01456
Autor:
Chalupa, Marek, Henzinger, Thomas A.
Hyperproperties are properties that relate multiple execution traces. Previous work on monitoring hyperproperties focused on synchronous hyperproperties, usually specified in HyperLTL. When monitoring synchronous hyperproperties, all traces are assum
Externí odkaz:
http://arxiv.org/abs/2308.03626