( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Repairing Decision-Making Programs Under Uncertainty.

, , и . CAV (1), том 10426 из Lecture Notes in Computer Science, стр. 181-200. Springer, (2017)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Irene Lorisika

Kurt Loris

Ewald Loris

Loris Russi

Loris Scandella

 

Другие публикации лиц с тем же именем

Quantifying Program Bias., , , и . CoRR, (2017)FairSquare: probabilistic verification of program fairness., , , и . Proc. ACM Program. Lang., 1 (OOPSLA): 80:1-80:30 (2017)Fairness as a Program Property., , , и . CoRR, (2016)Verified Training for Counterfactual Explanation Robustness under Data Shift., , , и . CoRR, (2024)Forward Bisimulations for Nondeterministic Symbolic Finite Automata., и . TACAS (1), том 10205 из Lecture Notes in Computer Science, стр. 518-534. (2017)Synthesis with Asymptotic Resource Bounds., , , и . CAV (1), том 12759 из Lecture Notes in Computer Science, стр. 783-807. Springer, (2021)Programmable Program Synthesis., , , и . CAV (1), том 12759 из Lecture Notes in Computer Science, стр. 84-109. Springer, (2021)Learned Load Balancing., , , и . ICDCN, стр. 177-187. ACM, (2023)Syntax-Guided Synthesis with Quantitative Syntactic Objectives., и . CAV (1), том 10981 из Lecture Notes in Computer Science, стр. 386-403. Springer, (2018)Exact and approximate methods for proving unrealizability of syntax-guided synthesis problems., , , и . PLDI, стр. 1128-1142. ACM, (2020)