Tchaltsev, Andrei
Tchaltsev, Andrei
ES
A Comprehensive Approach to On-Board Autonomy Verification and Validation
2011-01-01 Bozzano, Marco; Cimatti, Alessandro; Roveri, Marco; Tchaltsev, Andrei
Diagnostic Information for Realizability
2008-01-01 Cimatti, Alessandro; Roveri, Marco; Schuppan, Viktor; Tchaltsev, Andrei
KRATOS
2010-01-01 Roveri, Marco; Cimatti, Alessandro; Narasamdya, Iman; Micheli, Andrea; Daniele, Campana; Griggio, Alberto; Tchaltsev, Andrei
NuGAT
2009-01-01 Roveri, Marco; Cimatti, Alessandro; Schuppan, Viktor; Tchaltsev, Andrei; Cavada, Roberto
NuSMV
2002-01-01 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
2008-01-01 Bozzano, Marco; Cimatti, Alessandro; Andrea, Guiotto; Andrea, Martelli; Roveri, Marco; Tchaltsev, Andrei; Yuri, Yushtein
RAT
2005-01-01 Roveri, Marco; Cimatti, Alessandro; Tchaltsev, Andrei; Cavada, Roberto; Simone, Semprini; Roderick, Bloem; Ingo, Pill
RAT: A tool for formal analysis of requirements
2006-01-01 Roderick, Bloem; Cimatti, Alessandro; Ingo, Pill; Roveri, Marco; Simone, Semprini; Tchaltsev, Andrei
Rat: A tool for the formal analysis of requirements
2007-01-01 Roderick, Bloem; Cavada, Roberto; Ingo, Pill; Roveri, Marco; Tchaltsev, Andrei
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| A Comprehensive Approach to On-Board Autonomy Verification and Validation | 1-gen-2011 | Bozzano, Marco; Cimatti, Alessandro; Roveri, Marco; Tchaltsev, Andrei | |
| Diagnostic Information for Realizability | 1-gen-2008 | Cimatti, Alessandro; Roveri, Marco; Schuppan, Viktor; Tchaltsev, Andrei | |
| 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 | Bozzano, Marco; Cimatti, Alessandro; Andrea, Guiotto; Andrea, Martelli; Roveri, Marco; Tchaltsev, Andrei; Yuri, Yushtein | |
| RAT | 1-gen-2005 | Roveri, Marco; Cimatti, Alessandro; Tchaltsev, Andrei; Cavada, Roberto; Simone, Semprini; Roderick, Bloem; Ingo, Pill | |
| RAT: A tool for formal analysis of requirements | 1-gen-2006 | Roderick, Bloem; Cimatti, Alessandro; Ingo, Pill; Roveri, Marco; Simone, Semprini; Tchaltsev, Andrei | |
| Rat: A tool for the formal analysis of requirements | 1-gen-2007 | Roderick, Bloem; Cavada, Roberto; Ingo, Pill; Roveri, Marco; Tchaltsev, Andrei |