Zobrazeno 1 - 10
of 69
pro vyhledávání: '"Braberman, Víctor"'
Autor:
Braberman, Víctor A., Bonomo-Braberman, Flavia, Charalambous, Yiannis, Colonna, Juan G., Cordeiro, Lucas C., de Freitas, Rosiane
Prompting has become one of the main approaches to leverage emergent capabilities of Large Language Models [Brown et al. NeurIPS 2020, Wei et al. TMLR 2022, Wei et al. NeurIPS 2022]. Recently, researchers and practitioners have been "playing" with pr
Externí odkaz:
http://arxiv.org/abs/2404.09384
In this paper, we propose a novel approach that aims to offer an alternative to the prevalent paradigm to dynamic slicing construction. Dynamic slicing requires dynamic data and control dependencies that arise in an execution. During a single executi
Externí odkaz:
http://arxiv.org/abs/2211.04683
Dynamic slicing techniques compute program dependencies to find all statements that affect the value of a variable at a program point for a specific execution. Despite their many potential uses, applicability is limited by the fact that they typicall
Externí odkaz:
http://arxiv.org/abs/2211.04560
Controller synthesis is in essence a case of model-based planning for non-deterministic environments in which plans (actually ''strategies'') are meant to preserve system goals indefinitely. In the case of supervisory control environments are specifi
Externí odkaz:
http://arxiv.org/abs/2210.05393
Autor:
Alrahman, Yehia Abd, Braberman, Victor, D'Ippolito, Nicolás, Piterman, Nir, Uchitel, Sebastián
A controller for a Discrete Event System must achieve its goals despite that its environment being capable of resolving race conditions between controlled and uncontrolled events.Assuming that the controller loses all races is sometimes unrealistic.
Externí odkaz:
http://arxiv.org/abs/2009.05554
Autor:
Ciolek, Daniel, Duran, Matias, Zanollo, Florencia, Pazos, Nicolas, Braier, Julián, Braberman, Victor, D’Ippolito, Nicolas, Uchitel, Sebastian
Publikováno v:
In Automatica January 2023 147
Software Model Checkers have shown outstanding performance improvements in recent times. Moreover, for specific use cases, formal verification techniques have shown to be highly effective, leading to a number of high-profile success stories. However,
Externí odkaz:
http://arxiv.org/abs/1706.03796
Software model checking constitutes an undecidable problem and, as such, even an ideal tool will in some cases fail to give a conclusive answer. In practice, software model checkers fail often and usually do not provide any information on what was ef
Externí odkaz:
http://arxiv.org/abs/1607.06857
This paper presents a Directed Controller Synthesis (DCS) technique for discrete event systems. The DCS method explores the solution space for reactive controllers guided by a domain-independent heuristic. The heuristic is derived from an efficient a
Externí odkaz:
http://arxiv.org/abs/1605.09772
An architectural approach to self-adaptive systems involves runtime change of system configuration (i.e., the system's components, their bindings and operational parameters) and behaviour update (i.e., component orchestration). Thus, dynamic reconfig
Externí odkaz:
http://arxiv.org/abs/1504.08339