arrow
返回
V

Vı́ctor Braberman

University of Buenos Aires

21H指数
108论文数
1.5K被引数
收录论文 11
发表时间
On-the-fly informed search of non-blocking directed controllers
err2023-01-01
err0
PREAI
errCiolek, Daniel; Duran, Matias; Zanollo, Florencia; Pazos, Nicolas; Braier, Julian; Braberman, Victor; D'Ippolito, Nicolas; Uchitel, Sebastian
err分享
err收藏
Control and Discovery of Environment Behaviour
err2022-06-01
err2
PREAI
errKeegan, Maureen; Braberman, Victor; D'Ippolito, Nicolas; Piterman, Nir; Uchitel, Sebastian
err分享
err收藏
Dynamic Update of Discrete Event Controllers
err2020-11-01
err15
errOAAI
errNahabedian, Leandro; Braberman, Victor; Dippolito, Nicolas; Honiden, Shinichi; Kramer, Jeff; Tei, Kenji; Uchitel, Sebastian
err分享
err收藏
Compositional Supervisory Control via Reactive Synthesis and Automated Planning
err2020-08-01
err4
PREAI
errCiolek, Daniel Alfredo; Braberman, Victor; D'Ippolito, Nicolas; Sardina, Sebastian; Uchitel, Sebastian
err分享
err收藏
Interaction Models and Automated Control under Partial Observable Environments
err2017-01-01
err10
errOAAI
errCiolek, Daniel; Braberman, Victor; D'Ippolito, Nicolas; Piterman, Nir; Uchitel, Sebastian
err分享
err收藏
Probabilistic Interface Automata
err2016-09-01
err0
errOAAI
errPavese, Esteban; Braberman, Victor; Uchitel, Sebastian
err分享
err收藏
Enabledness-Based Program Abstractions for Behavior Validation
err2013-07-30
err14
errOAAI
errde Caso, Guido; Braberman, Victor; Garbervetsky, Diego; Uchitel, Sebastian
err分享
err收藏
Synthesizing Modal Transition Systems from Triggered Scenarios
err2013-07-01
err13
errOAAI
errSibay, German Emir; Braberman, Victor; Uchitel, Sebastian; Kramer, Jeff
err分享
err收藏
Synthesizing Nonanomalous Event-Based Controllers for Liveness Goals
err2013-03-04
err51
errOAAI
errD'Ippolito, Nicolas; Braberman, Victor; Piterman, Nir; Uchitel, Sebastian
err分享
err收藏
Automated Abstractions for Contract Validation
err2012-01-01
err27
errOAAI
errde Caso, Guido; Braberman, Victor; Garbervetsky, Diego; Uchitel, Sebastian
err分享
err收藏