Madiel Conserva Filho

Publication Activity (10 Years)

Years Active: 2012-2024
Publications (10 Years): 5

Top Topics

Imitation Learning

Biologically Inspired

Robotic Systems

Top Venues

Inf. Process. Lett.

Sci. Comput. Program.

Publications

Ana Cavalcanti, Madiel Conserva Filho, Pedro Ribeiro, Augusto Sampaio
Laws of Timed State Machines. Comput. J. 67 (6) (2024)
Marcus Santos, Madiel Conserva Filho, Augusto Sampaio
A Model-based Approach to the Development and Verification of Robotic Systems for Competitions. LARS/SBR/WRE (2023)
Mingzhuo Zhang, Dehui Du, Augusto Sampaio, Ana Cavalcanti, Madiel Conserva Filho, Menghan Zhang
Transforming RoboSim Models into UPPAAL. TASE (2021)
Ana Cavalcanti, Augusto Sampaio, Alvaro Miyazawa, Pedro Ribeiro, Madiel Conserva Filho, André Didier, Wei Li, Jon Timmis
Verified simulation for robotics. Sci. Comput. Program. 174 (2019)
Madiel Conserva Filho, Marcel Vinícius Medeiros Oliveira, Augusto Sampaio, Ana Cavalcanti
Compositional and local livelock analysis for CSP. Inf. Process. Lett. 133 (2018)
Madiel Conserva Filho, Marcel Vinícius Medeiros Oliveira
Implementing Tactics of Refinement in CRefine. SEFM (2012)