Zobrazeno 1 - 10
of 1 458
pro vyhledávání: '"Sánchez, César"'
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
Autor:
Rodríguez, Andoni, Sanchez, Cesar
Reactive synthesis is the process of using temporal logic specifications in LTL to generate correct controllers, but its use has been restricted to Boolean specifications. Recently, a Boolean abstraction technique allows to translate LTL T specificat
Externí odkaz:
http://arxiv.org/abs/2310.07904