Daniel Alfredo Ciolek

Publication Activity (10 Years)

Years Active: 2013-2020
Publications (10 Years): 7

Top Topics

Heuristic Search

Automated Planning

Top Venues

Publications

Daniel Alfredo Ciolek, Nicolás D'Ippolito, Alberto Pozanco, Sebastian Sardiña
Multi-tier Automated Planning for Adaptive Behavior (Extended Version). CoRR (2020)
Daniel Alfredo Ciolek, Víctor A. Braberman, Nicolás D'Ippolito, Sebastian Sardiña, Sebastián Uchitel
Compositional Supervisory Control via Reactive Synthesis and Automated Planning. IEEE Trans. Autom. Control. 65 (8) (2020)
Daniel Alfredo Ciolek, Nicolás D'Ippolito, Alberto Pozanco, Sebastian Sardiña
Multi-Tier Automated Planning for Adaptive Behavior. ICAPS (2020)
Pablo E. Martínez López, Daniel Alfredo Ciolek, Gabriela Arévalo, Denise Pari
The GOBSTONES method for teaching computer programming. CLEI (2017)
Daniel Alfredo Ciolek, Víctor A. Braberman, Nicolás D'Ippolito, Nir Piterman, Sebastián Uchitel
Interaction Models and Automated Control under Partial Observable Environments. IEEE Trans. Software Eng. 43 (1) (2017)
Daniel Alfredo Ciolek, Víctor A. Braberman, Nicolás D'Ippolito, Sebastián Uchitel
Directed Controller Synthesis of discrete event systems: Taming composition with heuristics. CDC (2016)
Daniel Alfredo Ciolek, Víctor A. Braberman, Nicolás D'Ippolito, Sebastián Uchitel
Technical Report: Directed Controller Synthesis of Discrete Event Systems. CoRR (2016)
Marcos Chicote, Daniel Alfredo Ciolek, Juan Pablo Galeotti
Practical JFSL verification using TACO. Softw. Pract. Exp. 44 (3) (2014)
Pablo Abad, Nazareno Aguirre, Valeria S. Bengolea, Daniel Alfredo Ciolek, Marcelo F. Frias, Juan P. Galeotti, Tom Maibaum, Mariano M. Moscato, Nicolás Rosner, Ignacio Vissani
Improving Test Generation under Rich Contracts by Tight Bounds and Incremental SAT Solving. ICST (2013)