Knut Åkesson | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Ghibli AI

Featured Co-authors

Luigi Nardi
27 publications
Kenan Šehić
4 publications
Martin Fabian
3 publications
Sabino Francesco Roselli
1 publication
Zahra Ramezani
1 publication

research

∙ 09/14/2022

Falsification of Cyber-Physical Systems using Bayesian Optimization

Cyber-physical systems (CPSs) are usually complex and safety-critical; h...

0 Zahra Ramezani, et al. ∙

research

∙ 06/10/2021

An SMT Based Compositional Model to Solve a Conflict-Free Electric Vehicle Routing Problem

The Vehicle Routing Problem (VRP) is the combinatorial optimization prob...

0 Sabino Francesco Roselli, et al. ∙