79 citations · 424 across the 54 of their papers we have counts for
4 papers · 1 filter
Intrinsic Geometric Vulnerability of High-Dimensional Artificial Intelligence
Luca Bortolussi, Guido Sanguinetti
The success of modern Artificial Intelligence (AI) technologies depends critically on the ability to learn non-linear functional dependencies from large, high dimensional data sets…
Signal Convolution Logic
Simone Silvetti, Laura Nenzi, Ezio Bartocci +1
We introduce a new logic called Signal Convolution Logic (SCL) that combines temporal logic with convolutional filters from digital signal processing. SCL enables to reason about t…
Central Limit Model Checking
Luca Bortolussi, Luca Cardelli, Marta Kwiatkowska +1
We consider probabilistic model checking for continuous-time Markov chains (CTMCs) induced from Stochastic Reaction Networks (SRNs) against a fragment of Continuous Stochastic Logi…
Lumping the Approximate Master Equation for Multistate Processes on Complex Networks
Gerrit Großmann, Charalampos Kyriakopoulos, Luca Bortolussi +1
Complex networks play an important role in human society and in nature. Stochastic multistate processes provide a powerful framework to model a variety of emerging phenomena such a…