Ciolek, Daniel Alfredo

PRODUCCION CIENTÍFICO TECNOLÓGICA

Mostrando ítems 1-4 de 4

Artículo Compositional Supervisory Control via Reactive Synthesis and Automated Planning

Ciolek, Daniel Alfredo ; Braberman, Victor Adrian ; D'ippolito, Nicolás Roque ; Uchitel, Sebastian ; Sardiña, Sebastian (Institute of Electrical and Electronics Engineers, 2020-08)
Artículo Interaction Models and Automated Control under Partial Observable Environments

Ciolek, Daniel Alfredo ; Braberman, Victor Adrian ; D'ippolito, Nicolás Roque ; Piterman, Nir; Uchitel, Sebastian (IEEE Computer Society, 2017-01)
Artículo On-the-fly informed search of non-blocking directed controllers

Ciolek, Daniel Alfredo ; Duran, Matias; Zanollo, Florencia; Pazos, Nicolas; Braier, Julián; Braberman, Victor Adrian ; D'ippolito, Nicolás Roque ; Uchitel, Sebastian (Pergamon-Elsevier Science Ltd, 2023-01)
Artículo Practical JFSL verification using TACO

Chicote, Marcos; Ciolek, Daniel Alfredo ; Galeotti, Juan Pablo (Wiley, 2013-11)

Mostrando ítems 1-4 de 4