Zobrazeno 1 - 9
of 9
pro vyhledávání: '"Rodríguez, Andoni"'
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:
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
Autor:
Rodríguez, Andoni, Sánchez, César
Publikováno v:
In Journal of Logical and Algebraic Methods in Programming August 2024 140
Autor:
Rodríguez, Andoni
Publikováno v:
E-Prints Complutense. Archivo Institucional de la UCM
Universidad Europea (UEM)
Universidad Europea (UEM)
Industrial systems are getting more complex every year, and due to that complexity growth, the languages to specify them are becoming increasingly more expressive: so that they can properly model both controllable parts and the environment, or even t
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::ac179b32922def88b4e9588f0362e615
Autor:
Arrieta Rodríguez, Andoni
Publikováno v:
UVaDOC. Repositorio Documental de la Universidad de Valladolid
instname
instname
Introducción: El trato digno siempre ha formado parte de la atención al enfermo. En los últimos años se está generando una gran controversia sobre cómo tratar y comunicarse con el paciente en la rama sanitaria. Según la historia y las diferent
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::630d321575407f1ae56c52463c0a07d8
http://uvadoc.uva.es/handle/10324/31564
http://uvadoc.uva.es/handle/10324/31564