Tchaltsev, Andrei

Tchaltsev, Andrei  

Mostra records
Risultati 1 - 9 di 9 (tempo di esecuzione: 0.013 secondi).
Titolo Data di pubblicazione Autore(i) File
A Comprehensive Approach to On-Board Autonomy Verification and Validation 1-gen-2011 Marco Bozzano; Alessandro Cimatti; Marco Roveri; Andrei Tchaltsev
Diagnostic Information for Realizability 1-gen-2008 Alessandro Cimatti; Marco Roveri; Viktor Schuppan; Andrei Tchaltsev
KRATOS 1-gen-2010 Roveri, Marco; Cimatti, Alessandro; Narasamdya, Iman; Micheli, Andrea; Daniele, Campana; Griggio, Alberto; Tchaltsev, Andrei
NuGAT 1-gen-2009 Roveri, Marco; Cimatti, Alessandro; Schuppan, Viktor; Tchaltsev, Andrei; Cavada, Roberto
NuSMV 1-gen-2002 Roveri, Marco; Cimatti, Alessandro; Cavada, Roberto; Tchaltsev, Andrei; Micheli, Andrea; Mariotti, Alessandro; Mover, Sergio; Marco, Pensallorto; Armando, Tacchella; Daniel, Sheridan; Gavin, Keighren; Tommi, Junttila; Timo, Latvala
On-Board Autonomy via Symbolic Model Based Reasoning 1-gen-2008 Marco Bozzano; Alessandro Cimatti; Andrea Guiotto; Andrea Martelli; Marco Roveri; Andrei Tchaltsev; Yuri Yushtein
RAT 1-gen-2005 Marco Roveri; Alessandro Cimatti; Andrei Tchaltsev; Roberto Cavada; Simone Semprini; Roderick Bloem; Ingo Pill
RAT: A tool for formal analysis of requirements 1-gen-2006 Roderick Bloem; Alessandro Cimatti; Ingo Pill; Marco Roveri; Simone Semprini; Andrei Tchaltsev
Rat: A tool for the formal analysis of requirements 1-gen-2007 Roderick Bloem; Roberto Cavada; Ingo Pill; Marco Roveri; Andrei Tchaltsev