The evolution of existing transportation systems,mainly driven by
urbani...
In many applications of category theory it is useful to reason about
"ne...
When designing autonomous systems, we need to consider multiple trade-of...
Modern applications require robots to comply with multiple, often confli...
Challenged by urbanization and increasing travel needs, existing
transpo...
Increasing urbanization and exacerbation of sustainability goals threate...
Designing cyber-physical systems is a complex task which requires insigh...
We consider the problem of formally co-designing embodied intelligence a...
A compositional sheaf-theoretic framework for the modeling of complex
ev...