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)
    105 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
    7 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
    7 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)
    11 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)
    32 Downloads (Pure)