106 citations · 290 across the 63 of their papers we have counts for
Showing 2022Show all
2 papers · 1 filter
math.CT2022
Categorification of Negative Information using Enrichment
Andrea Censi, Emilio Frazzoli, Jonathan Lorand +1
In many engineering applications it is useful to reason about "negative information". For example, in planning problems, providing an optimal solution is the same as giving a feasi…
eess.SY2022
Task-driven Modular Co-design of Vehicle Control Systems
Gioele Zardini, Zelio Suter, Andrea Censi +1
When designing autonomous systems, we need to consider multiple trade-offs at various abstraction levels, and the choices of single (hardware and software) components need to be st…