Search filters

Authors whose works are in public domain in at least one jurisdiction

List of works by Andrea Micheli

An SMT-based approach to weak controllability for disjunctive temporal problems with uncertainty

scientific article published in July 2015

Kratos – A Software Model Checker for SystemC

scientific article published in 2011

OthelloPlay

scientific article published in 2011

Solving Temporal Problems Using SMT: Strong Controllability

scientific article published in 2012

Solving strong controllability of temporal problems with uncertainty using SMT

scientific article published on 4 July 2014

Sound and Complete Algorithms for Checking the Dynamic Controllability of Temporal Networks with Uncertainty, Disjunction and Observation

scientific article published in September 2014

Supporting Requirements Validation: The EuRailCheck Tool

scientific article published in November 2009

The nuXmv Symbolic Model Checker

scientific article published in 2014

Paulina is supported by:

About Paulina

Help