Mauricio Castillo-Effen

According to our database, Mauricio Castillo-Effen authored at least 17 papers between 2005 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Part-X: A Family of Stochastic Algorithms for Search-Based Test Generation With Probabilistic Guarantees.

Giulia Pedrielli, Tanmay Khandait, Yumeng Cao, Quinn Thibeault, Hao Huang, Mauricio Castillo-Effen, Georgios Fainekos

IEEE Trans Autom. Sci. Eng., July, 2024

Software Engineering for Robotics: Future Research Directions; Report from the 2023 Workshop on Software Engineering for Robotics.

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

CoRR, 2024

A Digital Assurance Framework.

Mauricio Castillo-Effen, Carter E. Veldhuizen, Charles D. Lutz

Proceedings of the 35th IEEE International Symposium on Software Reliability Engineering, 2024

2023

Challenge Problems in Developing a Neuro-Symbolic OODA Loop.

Alberto Speranzon, Christian H. Debrunner, David Rosenbluth, Mauricio Castillo-Effen, Anthony R. Nowicki, Kevin Alcedo, Andrzej Banaszuk

Proceedings of the 17th International Workshop on Neural-Symbolic Learning and Reasoning, 2023

2021

Part-X: A Family of Stochastic Algorithms for Search-Based Test Generation with Probabilistic Guarantees.

Giulia Pedrielli, Tanmay Khandait, Surdeep Chotaliya, Quinn Thibeault, Hao Huang, Mauricio Castillo-Effen, Georgios Fainekos

CoRR, 2021

Towards assurance case evidence generation through search based testing: work-in-progress.

Yumeng Cao, Quinn Thibeault, Aniruddh Chandratre, Georgios Fainekos, Giulia Pedrielli, Mauricio Castillo-Effen

Proceedings of the EMSOFT '21: Proceedings of the 2021 International Conference on Embedded Software, Virtual Event, October 8, 2021

2020

The Association for the Advancement of Artificial Intelligence 2020 Workshop Program.

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

AI Mag., 2020

2019

Reports of the Workshops Held at the 2019 AAAI Conference on Artificial Intelligence.

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

AI Mag., 2019

2011

Motion-logger: An attitude and motion sensing system.

Andres F. Marquez, Mauricio Castillo-Effen, Shirley Fitzgerald, Wilfrido Alejandro Moreno

Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference, 2011

2010

Testing and evaluation aspects of integration of unmanned air systems into the national air space.

Mauricio Castillo-Effen, Nikita Visnevski

Proceedings of the 10th Performance Metrics for Intelligent Systems Workshop, 2010

2009

Modeling and simulation for unmanned and autonomous system test and evaluation.

Mauricio Castillo-Effen, Nikita Visnevski, Raj Subbu

Proceedings of the 9th Workshop on Performance Metrics for Intelligent Systems, 2009

2008

Probabilistic Estimation Algorithm for Cooperative Localization in Wireless Sensor Networks.

Mauricio Castillo-Effen, Miguel A. Labrador, Wilfrido Alejandro Moreno, Kimon P. Valavanis

Ad Hoc Sens. Wirel. Networks, 2008

2007

Robustification of decentralized PID control for small unmanned rotorcraft.

Mauricio Castillo-Effen, Carlos L. Castillo, Wilfrido Alejandro Moreno, Kimon P. Valavanis

Proceedings of the 2007 IEEE/RSJ International Conference on Intelligent Robots and Systems, October 29, 2007

2006

Small Unmanned Helicopter Simplified and Decentralized Optimization-Based Controller Design for Non-Aggressive Flights.

Carlos L. Castillo, Wendy Alvis, Mauricio Castillo-Effen, Wilfrido Alejandro Moreno, Kimon P. Valavanis

Int. Trans. Syst. Sci. Appl., 2006

Adapting Sequential Monte-Carlo Estimation to Cooperative Localization in Wireless Sensor Networks.

Mauricio Castillo-Effen, Wilfrido Alejandro Moreno, Miguel A. Labrador, Kimon P. Valavanis

Proceedings of the IEEE 3rd International Conference on Mobile Adhoc and Sensor Systems, 2006

2005

Small scale helicopter analysis and controller design for non-aggressive flights.

Carlos L. Castillo, Wendy Alvis, Mauricio Castillo-Effen, Wilfrido Alejandro Moreno, Kimon P. Valavanis

Proceedings of the IEEE International Conference on Systems, 2005

Modeling and visualization of multiple autonomous heterogeneous vehicles.

Mauricio Castillo-Effen, Wendy Alvis, Carlos L. Castillo

Proceedings of the IEEE International Conference on Systems, 2005