Recherche
** Reactive synthesis over infinite data domains. ** This talk presents reactive synthesis problems over infinite data domains. The goal of reactive
/Exposé /Talk/ Let G be a bridgeless cubic graph. Recently, in collaboration with Edita Máčajová and Jean Paul Zerafa, we have solved a conjecture
A round-table session: each person will tell in five minutes about the current research projects / interests, maybe including the wishes for starting
Simulating noninteracting systems of fermionic particles (such as electrons) -- so called 'free fermions' -- is a basic routine in computational many
Unifying view of physical ability metrics for humans, robots and their collaboration Antun Skuric Visio: https://u-bordeaux-fr.zoom.us/j/83483228567