If you made any changes in Pure these will be visible here soon.

Fingerprint

Dive into the research topics where C. Hernandez Corbato is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
  • 1 Similar Profiles

Collaborations and top research areas from the last five years

Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
  • Active Inference and Behavior Trees for Reactive Action Planning and Execution in Robotics

    Pezzato, C., Corbato, C. H., Bonhof, S. & Wisse, M., 2023, In: IEEE Transactions on Robotics. 39, 2, p. 1050-1069

    Research output: Contribution to journalArticleScientificpeer-review

    Open Access
    File
    2 Citations (Scopus)
    86 Downloads (Pure)
  • MROS: A framework for robot self-adaptation

    Silva, G. R., Garcia, N. H., Bozhinoski, D., Deshpande, H., Oviedo, M. G., Wasowski, A., Montero, M. R. & Corbato, C. H., 2023, Proceedings of the 2023 IEEE/ACM 45th International Conference on Software Engineering: Companion, ICSE-Companion 2023. IEEE , p. 151-155

    Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

    Open Access
    File
    4 Downloads (Pure)
  • SUAVE: An Exemplar for Self-Adaptive Underwater Vehicles

    Silva, G. R., Pasler, J., Zwanepol, J., Alberts, E., Lizeth Tapia Tarifa, S., Gerostathopoulos, I., Johnsen, E. B. & Corbato, C. H., 2023, Proceedings - 2023 IEEE/ACM 18th Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2023. IEEE , p. 181-187

    Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

    Open Access
    File
    3 Downloads (Pure)
  • A Formal Model of Metacontrol in Maude

    Päßler, J., Aguado, E., Silva, G. R., Tarifa, S. L. T., Corbato, C. H. & Johnsen, E. B., 2022, Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles: Proceedings of the 11th International Symposium, ISoLA 2022. Margaria, T. & Steffen, B. (eds.). Springer, p. 575-596 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13701 LNCS).

    Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

    Open Access
    File
    2 Citations (Scopus)
    6 Downloads (Pure)
  • Towards Stochastic Fault-Tolerant Control Using Precision Learning and Active Inference

    Baioumy, M., Pezzato, C., Corbato, C. H., Hawes, N. & Ferrari, R., 2022, Machine Learning and Principles and Practice of Knowledge Discovery in Databases: Proceedings of the International Workshops of ECML PKDD 2021. Kamp, M., Kamp, M., Koprinska, I. & E. A. (eds.). Springer, p. 681-691 (Communications in Computer and Information Science; vol. 1524 CCIS).

    Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

    Open Access
    File
    1 Citation (Scopus)
    25 Downloads (Pure)