18 citations · 19 across the 2 of their papers we have counts for
2 papers
cs.RO2023★ 1 cited
Category Theory for Autonomous Robots: The Marathon 2 Use Case
Esther Aguado, Virgilio Gómez, Miguel Hernando +2
Model-based systems engineering (MBSE) is a methodology that exploits system representation during the entire system life-cycle. The use of formal models has gained momentum in rob…
cs.AI2013★ 18 cited
Bounded Recursive Self-Improvement
E. Nivel, K. R. Thórisson, B. R. Steunebrink +10
We have designed a machine that becomes increasingly better at behaving in underspecified circumstances, in a goal-directed way, on the job, by modeling itself and its environment…