Skip to Main Content (Press Enter)
×
Home
Corsi
Insegnamenti
Professioni
Persone
Pubblicazioni
Strutture
Terza Missione
Competenze
IT
EN
☰
|
UNIFIND
uniss.it
IT
EN
×
Home
Corsi
Insegnamenti
Professioni
Persone
Pubblicazioni
Strutture
Terza Missione
Competenze
☰
Pubblicazioni
AI COMMUNICATIONS
Rivista
Codice:
E004911
ISSN:
0921-7126
Dati Generali
Dati Generali
Pubblicazioni (5)
Challenging SMT solvers to verify neural networks
Articolo
Engineering portfolios of Machine Learning algorithms to solve complex tasks in Robotics and Automated Reasoning
Articolo
Evaluating and Certifying QBFs: a comparison of state-of-the-art tools
Articolo
Evaluating probabilistic model checking tools for verification of robot control policies
Articolo
Solving disjunctive temporal problems with preferences using maximum satisfiability
Articolo
No Results Found
