Adaptation 2.0: Adapting Specification Learners in Assured Adaptive Systems Gallery Adaptation 2.0: Adapting Specification Learners in Assured Adaptive Systems Papers Adaptation 2.0: Adapting Specification Learners in Assured Adaptive Systems Andres Juarez2022-05-04T12:31:58-03:00 4/May/2022|Papers|
Assured Mission Adaptation of UAVs Gallery Assured Mission Adaptation of UAVs Papers Assured Mission Adaptation of UAVs Andres Juarez2022-05-04T12:31:19-03:00 4/May/2022|Papers|
A New Connective in Natural Deduction, and Its Application to Quantum Computing Gallery A New Connective in Natural Deduction, and Its Application to Quantum Computing Papers A New Connective in Natural Deduction, and Its Application to Quantum Computing Andres Juarez2022-03-25T09:56:05-03:00 16/March/2022|Papers|
