Zobrazeno 1 - 10
of 563
pro vyhledávání: '"Sanchez, César"'
Hyperproperties are properties over sets of traces (or runs) of a system, as opposed to properties of just one trace. They were introduced in 2010 and have been much studied since, in particular via an extension of the temporal logic LTL called Hyper
Externí odkaz:
http://arxiv.org/abs/2410.11572
Autor:
Kim, Kyungmin, Corsi, Davide, Rodriguez, Andoni, Lanier, JB, Parellada, Benjami, Baldi, Pierre, Sanchez, Cesar, Fox, Roy
While Deep Reinforcement Learning (DRL) has achieved remarkable success across various domains, it remains vulnerable to occasional catastrophic failures without additional safeguards. An effective solution to prevent these failures is to use a shiel
Externí odkaz:
http://arxiv.org/abs/2410.02038
Reactive synthesis is the process of generating correct controllers from temporal logic specifications. Classical LTL reactive synthesis handles (propositional) LTL as a specification language. Boolean abstractions allow reducing LTLt specifications
Externí odkaz:
http://arxiv.org/abs/2407.09348
In recent years, Deep Reinforcement Learning (DRL) has emerged as an effective approach to solving real-world tasks. However, despite their successes, DRL-based policies suffer from poor reliability, which limits their deployment in safety-critical d
Externí odkaz:
http://arxiv.org/abs/2406.06507
In recent years, Machine Learning (ML) models have achieved remarkable success in various domains. However, these models also tend to demonstrate unsafe behaviors, precluding their deployment in safety-critical systems. To cope with this issue, ample
Externí odkaz:
http://arxiv.org/abs/2406.04184
Autor:
Capretto, Margarita, Ceresa, Martín, Anta, Antonio Fernández, Moreno-Sánchez, Pedro, Sánchez, César
Modern blockchains face a scalability challenge due to the intrinsic throughput limitations of consensus protocols. Layer 2 optimistic rollups (L2) are a faster alternative that offer the same interface in terms of smart contract development and user
Externí odkaz:
http://arxiv.org/abs/2406.02316
We introduce and investigate a powerful hyper logical framework in the linear-time setting, we call generalized HyperLTL with stuttering and contexts (GHyperLTL_SC for short). GHyperLTL_SC unifies known asynchronous extensions of HyperLTL and the wel
Externí odkaz:
http://arxiv.org/abs/2404.16778
Blockchains are decentralized systems that provide trustable execution guarantees. Smart contracts are programs written in specialized programming languages running on blockchains that govern how tokens and cryptocurrency are sent and received. Smart
Externí odkaz:
http://arxiv.org/abs/2401.12093
Autor:
Brizzio, Matías, Sánchez, César
Developing critical components, such as mission controllers or embedded systems, is a challenging task. Reactive synthesis is a technique to automatically produce correct controllers. Given a high-level specification written in LTL, reactive synthesi
Externí odkaz:
http://arxiv.org/abs/2312.08717
Autor:
Rodriguez, Andoni, Sanchez, Cesar
In this paper, we address the problem of the (reactive) realizability of specifications of theories richer than Booleans, including arithmetic theories. Our approach transforms theory specifications into purely Boolean specifications by (1) substitut
Externí odkaz:
http://arxiv.org/abs/2310.17292