( en | de | ru )

 

Disambiguierung von "Pulina, Luca"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
The 2016 and 2017 QBF solvers evaluations (QBFEVAL'16 and QBFEVAL'17).

, und . Artif. Intell., (2019)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Maria Pulina

Michael Pulina

Rafael Pulina

Cornelia Pulina

Bruno Pulina

 

Weitere Publikationen von Autoren mit dem selben Namen

Verification and repair of control policies for safe reinforcement learning., , und . Appl. Intell., 48 (4): 886-908 (2018)Consistency of Property Specification Patterns with Boolean and Constrained Numerical Signals., , , und . CoRR, (2017)How to Abstract Intelligence? (If Verification Is in Order)., , , und . AAAI Fall Symposia, AAAI Press, (2013)An Empirical Study of QBF Encodings: from Treewidth Estimation to Useful Preprocessing., und . Fundam. Informaticae, 102 (3-4): 391-427 (2010)Evaluating probabilistic model checking tools for verification of robot control policies., , und . AI Commun., 29 (2): 287-299 (2016)Translation-based approaches for solving disjunctive temporal problems with preferences., , und . Constraints An Int. J., 23 (4): 383-402 (2018)Verification of Neural Networks: Enhancing Scalability Through Pruning., , , und . ECAI, Volume 325 von Frontiers in Artificial Intelligence and Applications, Seite 2505-2512. IOS Press, (2020)The Ninth QBF Solvers Evaluation - Preliminary Report.. QBF@SAT, Volume 1719 von CEUR Workshop Proceedings, Seite 1-13. CEUR-WS.org, (2016)Automata based test generation with SpecPro., , , und . RET@ICSE, Seite 13-16. IEEE / ACM, (2019)Verification of NNs in the IMOCO4.E Project: Preliminary Results., , und . ETFA, Seite 1-4. IEEE, (2023)