2026-10-27 15:23 |
-
Belief Revision in a Probabilistic Setting
Delgrande, J. P. (Corresponding author) ; Lakemeyer, G. (Corresponding author) ; Pagnucco, M. (Corresponding author) ; Sack, J. (Corresponding author)
Proceedings of the 22nd International Conference on Principles of Knowledge Representation and Reasoning : Melbourne, Australia, November 11-17, 2025 / edited by Magdalena Ortiz, Renata Wassermann, Torsten Schaub, Seiten/Artikel-Nr: 250-259
DOI: 10.24963/kr.2025/25
Contribution to a book/Contribution to a conference proceedings
2025
|
2026-10-27 14:49 |
-
Counterfactual Strategies for Markov Decision Processes
Kobialka, P. (Corresponding author) ; Gerlach, C. (Corresponding author) ; Leofante, F. (Corresponding author) ; Abraham, E. (Corresponding author) ; ; et al
Proceedings of the Thirty-Fourth International Joint Conference on Artificial Intelligence : Montreal, Canada, 16-22 August 2025 : with satellite event in Guangzhou, China, 29-31 August 2025 / edited by James Kwok ; sponsored by International Joint Conferences on Artifical Intelligence (IJCAI), Seiten/Artikel-Nr: 412-420
DOI: 10.24963/ijcai.2025/47
Contribution to a book/Contribution to a conference proceedings
2025
|
2026-10-27 13:42 |
-
Deterministic Fault-Tolerant State Preparation for Near-Term Quantum Error Correction: Automatic Synthesis Using Boolean Satisfiability
Schmid, L. ; Peham, T. ; Berent, L. ; Müller, M. ; ; et al
2025 Design, Automation & Test in Europe Conference (DATE) : proceedings : Lyon, France, 31 March-2 April 2025 / DATE 25 ; sponsor societies: European Design and Automation Association, Electronic System Design (ESD) Alliance, IEEE Council on Electronic Design Automation, ACM Special Interest Group on Design Automation, Seiten/Artikel-Nr: 7 Seiten
DOI: 10.23919/DATE64628.2025.10992896
Contribution to a book/Contribution to a conference proceedings
2025
|
2026-10-26 14:33 |
-
Scalable Verification of Neural Control Barrier Functions Using Linear Bound Propagation
Vertovec, N. (Corresponding author) ; Mathiesen, F. B. (Corresponding author) ; Badings, T. (Corresponding author) ; Laurenti, L. (Corresponding author) ; ; et al
Annual Learning for Dynamics and Control Conference, 17-19 June 2026, Los Angeles, California, USA / Editors: Gaurav Sukhatme, Lars Lindemann, Stephen Tu, Adam Wierman, Nikolay Atanasov, Seiten/Artikel-Nr: 1638-1662
URL: https://proceedings.mlr.press/v331/vertovec26a.html
Contribution to a book/Contribution to a conference proceedings
2026
|
2026-10-26 12:40 |
|
2026-10-26 11:39 |
|
2026-10-23 19:08 |
|
2026-10-23 13:04 |
|
2026-10-23 09:58 |
|
2026-10-23 09:34 |
|
|
|