Jacek Cyranka
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
5
Active years
2017–2025
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | CVPR | How Much Noise is there in Labels Generated by Humans? A Method to Validate Automatically Generated Bounding Boxes. | Mariusz Karol Nowak, Jacek Cyranka, Natalia Maslany, Aleksander Kostuch, Jakub Derbisz, Mateusz Komorkiewicz, Patryk Siwek, Mateusz Wjcik, Dariusz Marchewka, Pawel Skruch |
| 2023 | ECAI | Worrisome Properties of Neural Network Controllers and Their Symbolic Representations. | Jacek Cyranka, Kevin E. M. Church, Jean-Philippe Lessard |
| 2021 | AAAI | On the Verification of Neural ODEs with Stochastic Guarantees. | Sophie Gruenbacher, Ramin M. Hasani, Mathias Lechner, Jacek Cyranka, Scott A. Smolka, Radu Grosu |
| 2019 | ICMLA | Mapper Based Classifier. | Jacek Cyranka, Alexander Georges, David Meyer |
| 2017 | CAV | Lagrangian Reachabililty. | Jacek Cyranka, Md. Ariful Islam, Greg Byrne, Paul L. Jones, Scott A. Smolka, Radu Grosu |