E-LIB Suche - Ergebnisse für: Narodytska, Nina

1

Corrigendum to "Learning constraints through partial querie..:

Bessiere, Christian ; Carbonnel, Clément ; Dries, Anton...
Artificial Intelligence. 328 (2024) - p. 104075 , 2024

Link: https://doi.org/10.1016/..

2

The FMCAD 2023 Student Forum:

, In: 2023 Formal Methods in Computer-Aided Design (FMCAD),

Janota, Mikolas ; Narodytska, Nina - p. 1-2 , 2023

Link: https://doi.org/10.34727..

3

Learning constraints through partial queries:

Bessiere, Christian ; Carbonnel, Clément ; Dries, Anton...
Artificial Intelligence. 319 (2023) - p. 103896 , 2023

Link: https://doi.org/10.1016/..

4

Towards Future-Based Explanations for Deep RL Network Contr..:

Patel, Sagar ; Abdu Jyothi, Sangeetha ; Narodytska, Nina
ACM SIGMETRICS Performance Evaluation Review. 51 (2023) 2 - p. 100-102 , 2023

Link: https://doi.org/10.1145/..

5

On computing probabilistic abductive explanations:

Izza, Yacine ; Huang, Xuanxiang ; Ignatiev, Alexey...
International Journal of Approximate Reasoning. 159 (2023) - p. 108939 , 2023

Link: https://doi.org/10.1016/..

6

Scalable verification of GNN-based job schedulers:

Wu, Haoze ; Barrett, Clark ; Sharif, Mahmood..
Proceedings of the ACM on Programming Languages. 6 (2022) OOPSLA2 - p. 1036-1065 , 2022

Link: https://doi.org/10.1145/..

7

Software Verification and Formal Methods for ML-Enabled Aut..

Lecture Notes in Computer Science, 13466

Isac, Omri ; Ivanov, Radoslav ; Katz, Guy.. - 1st ed. 2022 . , 2022

Link: https://doi.org/10.1007/..

8

Analyzing Learning-Based Networked Systems with Formal Veri..:

, In: IEEE INFOCOM 2021 - IEEE Conference on Computer Communications,

Dethise, Arnaud ; Canini, Marco ; Narodytska, Nina - p. 1-10 , 2021

Link: https://doi.org/10.1109/..

9

From Contrastive to Abductive Explanations and Back Again:

, In: AIxIA 2020 – Advances in Artificial Intelligence; Lecture Notes in Computer Science,

Ignatiev, Alexey ; Narodytska, Nina ; Asher, Nicholas. - p. 335-355 , 2021

Link: https://doi.org/10.1007/..

10

Simple and precise static analysis of untrusted Linux kerne..:

, In: Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation,

Gershuni, Elazar ; Amit, Nadav ; Gurfinkel, Arie... - p. 1069-1084 , 2019

Link: https://dl.acm.org/doi/1..

11

Assessing Heuristic Machine Learning Explanations with Mode..:

, In: Lecture Notes in Computer Science; Theory and Applications of Satisfiability Testing – SAT 2019,

Narodytska, Nina ; Shrotri, Aditya ; Meel, Kuldeep S... - p. 267-278 , 2019

Link: https://doi.org/10.1007/..

12

Synthesizing Cluster Management Code for Distributed System:

, In: Proceedings of the Workshop on Hot Topics in Operating Systems,

Suresh, Lalith ; Loff, João ; Narodytska, Nina... - p. 45-50 , 2019

Link: https://dl.acm.org/doi/1..

13

Controlling Elections by Replacing Candidates or Votes:

, In: Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems,

Loreggia, Andrea ; Narodytska, Nina ; Rossi, Francesca.. - p. 1737-1738 , 2015

Link: https://dl.acm.org/doi/1..

14

Manipulating the Probabilistic Serial Rule:

, In: Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems,

Aziz, Haris ; Gaspers, Serge ; Mackenzie, Simon... - p. 1451-1459 , 2015

Link: https://dl.acm.org/doi/1..

15

Three generalizations of the FOCUS constraint:

Narodytska, Nina ; Petit, Thierry ; Siala, Mohamed.
Constraints. 21 (2015) 4 - p. 495-532 , 2015

Link: https://doi.org/10.1007/..