Mauricio Gomez

Publication Activity (10 Years)

Years Active: 2006-2017
Publications (10 Years): 3

Top Topics

Epistemic Logic

Formal Specification

Top Venues

PAAMS (Special Sessions)

Publications

James M. Goppert, Amy R. Wagoner, Daniel K. Schrader, Shiva Ghose, Yongho Kim, Seongha Park, Mauricio Gomez, Eric T. Matson, Michael J. Hopmeier
Realization of an Autonomous, Air-to-Air Counter Unmanned Aerial System (CUAS). IRC (2017)
Mauricio Gomez, Abdelghani Chibani, Yacine Amirat, Eric T. Matson
Self-healing Mechanism over the Cloud on Interaction Layer for AALs Using HARMS. PAAMS (Special Sessions) (2017)
Mauricio Gomez, Yongho Kim, James Goppert, Eric T. Matson
Using Online Model Checking Technique for Survivability, Evaluating Different Scenarios on Runtime. FNC/MobiSPC (2016)
Mauricio Gomez, Yongho Kim, Eric T. Matson
Iterative learning system to intercept a ball for humanoid soccer player. ICARA (2015)
Mauricio Gomez, Bakytgul Khaday, Adalberto Gonzalez, Ahmad Esmaeili, Eric T. Matson
Golf-Playing DARwIn-OP: A Theoretical Approach. RiTA (2015)
Mauricio Gomez, Yongho Kim, Eric T. Matson, Maria Tolstykh, Michael Munizzi
Multi-agent system of systems to monitor wildfires. SoSE (2015)
Mauricio Gomez, Eric T. Matson, Jihyun Song, SiYoung Baek, Junho Kim
UGVs spotting fire location for Cooperative Fire Security System using HARMS. ICARA (2015)
Yongho Kim, Mauricio Gomez, James Goppert, Eric T. Matson
Model Checking of a Training System Using NuSMV for Humanoid Robot Soccer. RiTA (2014)
Renato Salinas, Mauricio Gomez
A New Technique For Texture Classification Using Markov Random Fields. Int. J. Comput. Commun. Control 1 (2) (2006)