Mauricio Castillo-Effen

28 papers A 1B 3C 1Misc 1Journal 7Unranked 4
YearRankTypeTitle / Venue / Authors
2024 — conf
A Digital Assurance Framework.
ISSRE (Workshops)
Mauricio Castillo-Effen, Carter E. Veldhuizen, Charles D. Lutz
2024 J jnl
Part-X: A Family of Stochastic Algorithms for Search-Based Test Generation With Probabilistic Guarantees.
IEEE Trans Autom. Sci. Eng.
Giulia Pedrielli, Tanmay Khandait, Yumeng Cao, Quinn Thibeault, Hao Huang, Mauricio Castillo-Effen, Georgios Fainekos
2024 — ed.
Proceedings of the IJCAI 2024 Workshop on Artificial Intelligence Safety (AISafety 2024) co-located with the 33rd International Joint Conference on Artificial Intelligence (IJCAI 2024), Jeju, Korea, August 4, 2024.
AISafety@IJCAI
Gabriel Pedroza, Xiaowei Huang, Xin Cynthia Chen, Fabio Arnez, Huáscar Espinoza, José Hernández-Orallo, Mauricio Castillo-Effen, Richard Mallah, John A. McDermid, Andreas Theodorou
2024 J jnl
Software Engineering for Robotics: Future Research Directions; Report from the 2023 Workshop on Software Engineering for Robotics.
CoRR
Claire Le Goues, Sebastian G. Elbaum, David J. Anthony, Z. Berkay Celik, Mauricio Castillo-Effen, Nikolaus Correll, Pooyan Jamshidi, Morgan Quigley, Trenton Tabor, Qi Zhu
2023 C conf
Challenge Problems in Developing a Neuro-Symbolic OODA Loop.
NeSy
Alberto Speranzon, Christian H. Debrunner, David Rosenbluth, Mauricio Castillo-Effen, Anthony R. Nowicki, Kevin Alcedo, Andrzej Banaszuk
2023 — ed.
Proceedings of the IJCAI-23 Joint Workshop on Artificial Intelligence Safety and Safe Reinforcement Learning (AISafety-SafeRL 2023) co-located with the 32nd International Joint Conference on Artificial Intelligence(IJCAI2023), Macau, China, August 21-22, 2023.
AISafety/SafeRL@IJCAI
Gabriel Pedroza, Xiaowei Huang, Xin Cynthia Chen, Andreas Theodorou, Huáscar Espinoza, Nikolaos Matragkas, José Hernández-Orallo, Mauricio Castillo-Effen, Richard Mallah, John A. McDermid, David M. Bossens, Bettina Könighofer, Sebastian Tschiatschek, Anqi Liu
2023 — ed.
Proceedings of the Workshop on Artificial Intelligence Safety 2023 (SafeAI 2023) co-located with the Thirty-Seventh AAAI Conference on Artificial Intelligence (AAAI 2023), Washington DC, USA, February 13-14, 2023.
SafeAI@AAAI
Gabriel Pedroza, Xiaowei Huang, Xin Cynthia Chen, Andreas Theodorou, José Hernández-Orallo, Mauricio Castillo-Effen, Richard Mallah, John A. McDermid
2022 — ed.
Proceedings of the Workshop on Artificial Intelligence Safety 2022 (AISafety 2022) co-located with the Thirty-First International Joint Conference on Artificial Intelligence and the Twenty-Fifth European Conference on Artificial Intelligence (IJCAI-ECAI-2022), Vienna, Austria, July 24-25, 2022.
AISafety@IJCAI
Gabriel Pedroza, Xin Cynthia Chen, José Hernández-Orallo, Xiaowei Huang, Huáscar Espinoza, Richard Mallah, John A. McDermid, Mauricio Castillo-Effen
2022 — ed.
Proceedings of the Workshop on Artificial Intelligence Safety 2022 (SafeAI 2022) co-located with the Thirty-Sixth AAAI Conference on Artificial Intelligence (AAAI2022), Virtual, February, 2022.
SafeAI@AAAI
Gabriel Pedroza, José Hernández-Orallo, Xin Cynthia Chen, Xiaowei Huang, Huáscar Espinoza, Mauricio Castillo-Effen, John A. McDermid, Richard Mallah, Seán Ó hÉigeartaigh
2021 J jnl
Part-X: A Family of Stochastic Algorithms for Search-Based Test Generation with Probabilistic Guarantees.
CoRR
Giulia Pedrielli, Tanmay Khandait, Surdeep Chotaliya, Quinn Thibeault, Hao Huang, Mauricio Castillo-Effen, Georgios Fainekos
2021 — ed.
Proceedings of the Workshop on Artificial Intelligence Safety 2021 (SafeAI 2021) co-located with the Thirty-Fifth AAAI Conference on Artificial Intelligence (AAAI 2021), Virtual, February 8, 2021.
SafeAI@AAAI
Huáscar Espinoza, John A. McDermid, Xiaowei Huang, Mauricio Castillo-Effen, Xin Cynthia Chen, José Hernández-Orallo, Seán Ó hÉigeartaigh, Richard Mallah
2021 — ed.
Proceedings of the Workshop on Artificial Intelligence Safety 2021 co-located with the Thirtieth International Joint Conference on Artificial Intelligence (IJCAI 2021), Virtual, August, 2021.
AISafety@IJCAI
Huáscar Espinoza, John A. McDermid, Xiaowei Huang, Mauricio Castillo-Effen, Xin Cynthia Chen, José Hernández-Orallo, Seán Ó hÉigeartaigh, Richard Mallah, Gabriel Pedroza
2021 Misc conf
Towards assurance case evidence generation through search based testing: work-in-progress.
EMSOFT
Yumeng Cao, Quinn Thibeault, Aniruddh Chandratre, Georgios Fainekos, Giulia Pedrielli, Mauricio Castillo-Effen
2020 — ed.
Proceedings of the Workshop on Artificial Intelligence Safety 2020 co-located with the 29th International Joint Conference on Artificial Intelligence and the 17th Pacific Rim International Conference on Artificial Intelligence (IJCAI-PRICAI 2020), Yokohama, Japan, January, 2021.
AISafety@IJCAI
Huáscar Espinoza, John A. McDermid, Xiaowei Huang, Mauricio Castillo-Effen, Xin Cynthia Chen, José Hernández-Orallo, Seán Ó hÉigeartaigh, Richard Mallah
2020 — ed.
Proceedings of the Workshop on Artificial Intelligence Safety, co-located with 34th AAAI Conference on Artificial Intelligence, SafeAI@AAAI 2020, New York City, NY, USA, February 7, 2020.
SafeAI@AAAI
Huáscar Espinoza, José Hernández-Orallo, Xin Cynthia Chen, Seán S. ÓhÉigeartaigh, Xiaowei Huang, Mauricio Castillo-Effen, Richard Mallah, John A. McDermid
2020 J jnl
The Association for the Advancement of Artificial Intelligence 2020 Workshop Program.
AI Mag.
Grace Bang, Guy Barash, Ryan Beal, Jacques Calì, Mauricio Castillo-Effen, Xin Cynthia Chen, Niyati Chhaya, Rachel Cummings, Rohan Dhoopar, Sebastijan Dumancic, Huáscar Espinoza, Eitan Farchi, Ferdinando Fioretto, Raquel Fuentetaja, Christopher William Geib, Odd Erik Gundersen, José Hernández-Orallo, Xiaowei Huang, Kokil Jaidka, Sarah Keren, Seokhwan Kim, Michel Galley, Xiaomo Liu, Tyler Lu, Zhiqiang Ma, Richard Mallah, John A. McDermid, Martin Michalowski, Reuth Mirsky, Seán Ó hÉigeartaigh, Deepak Ramachandran, Javier Segovia-Aguas, Onn Shehory, Arash Shaban-Nejad, Vered Shwartz, Siddharth Srivastava, Kartik Talamadupula, Jian Tang, Pascal Van Hentenryck, Dell Zhang, Jian Zhang
2019 J jnl
Reports of the Workshops Held at the 2019 AAAI Conference on Artificial Intelligence.
AI Mag.
Guy Barash, Mauricio Castillo-Effen, Niyati Chhaya, Peter Clark, Huáscar Espinoza, Eitan Farchi, Christopher W. Geib, Odd Erik Gundersen, Seán Ó hÉigeartaigh, José Hernández-Orallo, Chiori Hori, Xiaowei Huang, Kokil Jaidka, Pavan Kapanipathi, Sarah Keren, Seokhwan Kim, Marc Lanctot, Danny Lange, Julian J. McAuley, David R. Martinez, Marwan Mattar, Mausam, Martin Michalowski, Reuth Mirsky, Roozbeh Mottaghi, Joseph C. Osborn, Julien Pérolat, Martin Schmid, Arash Shaban-Nejad, Onn Shehory, Biplav Srivastava, William W. Streilein, Kartik Talamadupula, Julian Togelius, Koichiro Yoshino, Quanshi Zhang, Imed Zitouni
2019 — ed.
Workshop on Artificial Intelligence Safety 2019 co-located with the Thirty-Third AAAI Conference on Artificial Intelligence 2019 (AAAI-19), Honolulu, Hawaii, January 27, 2019.
SafeAI
Huáscar Espinoza, Seán Ó hÉigeartaigh, Xiaowei Huang, José Hernández-Orallo, Mauricio Castillo-Effen
2011 — conf
Motion-logger: An attitude and motion sensing system.
CDC/ECC
Andres F. Marquez, Mauricio Castillo-Effen, Shirley Fitzgerald, Wilfrido Alejandro Moreno
2010 — conf
Testing and evaluation aspects of integration of unmanned air systems into the national air space.
PerMIS
Mauricio Castillo-Effen, Nikita Visnevski
2009 — conf
Modeling and simulation for unmanned and autonomous system test and evaluation.
PerMIS
Mauricio Castillo-Effen, Nikita Visnevski, Raj Subbu
2008 J jnl
Probabilistic Estimation Algorithm for Cooperative Localization in Wireless Sensor Networks.
Ad Hoc Sens. Wirel. Networks
Mauricio Castillo-Effen, Miguel A. Labrador, Wilfrido Alejandro Moreno, Kimon P. Valavanis
2007 — —
Cooperative Localization In Wireless Networked Systems.
Mauricio Castillo-Effen
2007 A conf
Robustification of decentralized PID control for small unmanned rotorcraft.
IROS
Mauricio Castillo-Effen, Carlos L. Castillo, Wilfrido Alejandro Moreno, Kimon P. Valavanis
2006 B conf
Adapting Sequential Monte-Carlo Estimation to Cooperative Localization in Wireless Sensor Networks.
MASS
Mauricio Castillo-Effen, Wilfrido Alejandro Moreno, Miguel A. Labrador, Kimon P. Valavanis
2006 J jnl
Small Unmanned Helicopter Simplified and Decentralized Optimization-Based Controller Design for Non-Aggressive Flights.
Int. Trans. Syst. Sci. Appl.
Carlos L. Castillo, Wendy Alvis, Mauricio Castillo-Effen, Wilfrido Alejandro Moreno, Kimon P. Valavanis
2005 B conf
Modeling and visualization of multiple autonomous heterogeneous vehicles.
SMC
Mauricio Castillo-Effen, Wendy Alvis, Carlos L. Castillo
2005 B conf
Small scale helicopter analysis and controller design for non-aggressive flights.
SMC
Carlos L. Castillo, Wendy Alvis, Mauricio Castillo-Effen, Wilfrido Alejandro Moreno, Kimon P. Valavanis