Ludovica Luisa Vissat

Publication Activity (10 Years)

Years Active: 2015-2020
Publications (10 Years): 5

Top Topics

Dynamic Constraints

Temporally Extended

Temporal Properties

Stochastic Systems

Top Venues

Electron. Notes Theor. Comput. Sci.

ACM Trans. Model. Comput. Simul.

Publications