Concepedia

Angel Ayala

AA

6

Publications

147

Citations

6

H-Index

2011

Active since

Affiliations

Boston University(Current)

Universidad Central de Chile

Deakin University

Universidade de Pernambuco

Angel Ayala is an author at Boston University specializing in engineering, computer science, and intelligent systems.

Top concepts

EngineeringComputer ScienceIntelligent SystemsRoboticsAutomationFormal MethodsRobot LearningFormal VerificationSystems EngineeringHealth

Publications per year

2011–2021

6

Publications

6

Diabetic Retinopathy Improved Detection Using Deep Learning

Angel Ayala, Tomás Ortiz Figueroa, Bruno Fernandes et al. · Applied Sciences · 2021 · 58 citations · Full text

Convolutional Neural Network, Engineering, Fundus Oculi Technique +18

Temporal logic motion planning in unknown environments

Angel Ayala, Sean B. Andersson, Călin Belta · 2013 · 31 citations

Artificial Intelligence, Engineering, Intelligent Robotics +20

Probabilistic control from time-bounded temporal logic specifications in dynamic environments

Angel Ayala, Sean B. Andersson, Călin Belta · 2012 · 19 citations

Robotic Systems, Engineering, Temporal Logic Specification +25

Reinforcement learning using continuous states and interactive feedback

Angel Ayala, Claudio Henríquez, Francisco Cruz · 2019 · 15 citations

Artificial Intelligence, Interactive Reinforcement Learning, Engineering +10

Temporal logic control in dynamic environments with probabilistic satisfaction guarantees

Angel Ayala, Sean B. Andersson, Călin Belta · 2011 IEEE/RSJ International Conference on Intelligent Robots and Systems · 2011 · 12 citations

Robotic Systems, Engineering, Mobile Robotic Systems +22

Rows per page

1–5 of 6