Model checking and strategy synthesis for mobile autonomy: from theory to practice4 maggio 2016Design of autonomous systems is facilitated by automatic verification and synthesis of controllers...
Inclusion invisibility, stress annihilation and stress reduction in antiplane elasticity2 maggio 2016An infinite class of nonuniform antiplane shear fields is considered for a linear elastic isotropic...
An Application of Derivatives in RKHS-Based Models27 aprile 2016The identification of nonlinear models can be largely divided into two categories: parametric...
Developments in LPV state-space model identification27 aprile 2016Current state-of-the-art linear parameter-varying (LPV) control synthesis methods presume that an...
The evolution of (Web) search26 aprile 2016In this talk I will survey over 50 years of Research in algorithms and data structures for...
On the Convergence to a Mean-Field Equilibrium21 aprile 2016Mean-field games model strategic decision making of small interacting individuals in an infinite...
Numerical Methods for Nonlinear Model Predictive Control in Real-Time8 aprile 2016Many control applications need to deal with nonlinear, unstable and constrained processes...
Growing networks as models for information and social systems 7 aprile 2016Complex networks have been successfully used to represent a wide range of real systems. I will...
Beyond Testing: Static Analysis by Bounded Model Checking.5 aprile 2016Increasingly often, the high degree of sophistication of modern software systems limits the...
On the Nature of Computing - Is Computing a Science?31 marzo 2016Initially considered rather as applied technology, over the years computing resisted absorption...