Search dblp for Publications

export results for "toc:db/conf/cav/cav2023-3.bht:"

 download as .bib file

@inproceedings{DBLP:conf/cav/AkshayCMZ23,
  author       = {S. Akshay and
                  Krishnendu Chatterjee and
                  Tobias Meggendorfer and
                  Dorde Zikelic},
  editor       = {Constantin Enea and
                  Akash Lal},
  title        = {MDPs as Distribution Transformers: Affine Invariant Synthesis for
                  Safety Objectives},
  booktitle    = {Computer Aided Verification - 35th International Conference, {CAV}
                  2023, Paris, France, July 17-22, 2023, Proceedings, Part {III}},
  series       = {Lecture Notes in Computer Science},
  volume       = {13966},
  pages        = {86--112},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-37709-9\_5},
  doi          = {10.1007/978-3-031-37709-9\_5},
  timestamp    = {Tue, 12 Sep 2023 07:57:21 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/AkshayCMZ23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/AlbertGKM23,
  author       = {Elvira Albert and
                  Samir Genaim and
                  Daniel Kirchner and
                  Enrique Martin{-}Martin},
  editor       = {Constantin Enea and
                  Akash Lal},
  title        = {Formally Verified {EVM} Block-Optimizations},
  booktitle    = {Computer Aided Verification - 35th International Conference, {CAV}
                  2023, Paris, France, July 17-22, 2023, Proceedings, Part {III}},
  series       = {Lecture Notes in Computer Science},
  volume       = {13966},
  pages        = {176--189},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-37709-9\_9},
  doi          = {10.1007/978-3-031-37709-9\_9},
  timestamp    = {Tue, 12 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/AlbertGKM23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/AmilonEGLR23,
  author       = {Jesper Amilon and
                  Zafer Esen and
                  Dilian Gurov and
                  Christian Lidstr{\"{o}}m and
                  Philipp R{\"{u}}mmer},
  editor       = {Constantin Enea and
                  Akash Lal},
  title        = {Automatic Program Instrumentation for Automatic Verification},
  booktitle    = {Computer Aided Verification - 35th International Conference, {CAV}
                  2023, Paris, France, July 17-22, 2023, Proceedings, Part {III}},
  series       = {Lecture Notes in Computer Science},
  volume       = {13966},
  pages        = {281--304},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-37709-9\_14},
  doi          = {10.1007/978-3-031-37709-9\_14},
  timestamp    = {Tue, 12 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/AmilonEGLR23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/AndriushchenkoBCJKM23,
  author       = {Roman Andriushchenko and
                  Alexander Bork and
                  Milan Ceska and
                  Sebastian Junges and
                  Joost{-}Pieter Katoen and
                  Filip Mac{\'{a}}k},
  editor       = {Constantin Enea and
                  Akash Lal},
  title        = {Search and Explore: Symbiotic Policy Synthesis in POMDPs},
  booktitle    = {Computer Aided Verification - 35th International Conference, {CAV}
                  2023, Paris, France, July 17-22, 2023, Proceedings, Part {III}},
  series       = {Lecture Notes in Computer Science},
  volume       = {13966},
  pages        = {113--135},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-37709-9\_6},
  doi          = {10.1007/978-3-031-37709-9\_6},
  timestamp    = {Tue, 12 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/AndriushchenkoBCJKM23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/BadingsJMTJ23,
  author       = {Thom S. Badings and
                  Sebastian Junges and
                  Ahmadreza Marandi and
                  Ufuk Topcu and
                  Nils Jansen},
  editor       = {Constantin Enea and
                  Akash Lal},
  title        = {Efficient Sensitivity Analysis for Parametric Robust Markov Chains},
  booktitle    = {Computer Aided Verification - 35th International Conference, {CAV}
                  2023, Paris, France, July 17-22, 2023, Proceedings, Part {III}},
  series       = {Lecture Notes in Computer Science},
  volume       = {13966},
  pages        = {62--85},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-37709-9\_4},
  doi          = {10.1007/978-3-031-37709-9\_4},
  timestamp    = {Tue, 12 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/BadingsJMTJ23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/ChenCLLT23,
  author       = {Yu{-}Fang Chen and
                  Kai{-}Min Chung and
                  Ondrej Leng{\'{a}}l and
                  Jyun{-}Ao Lin and
                  Wei{-}Lun Tsai},
  editor       = {Constantin Enea and
                  Akash Lal},
  title        = {AutoQ: An Automata-Based Quantum Circuit Verifier},
  booktitle    = {Computer Aided Verification - 35th International Conference, {CAV}
                  2023, Paris, France, July 17-22, 2023, Proceedings, Part {III}},
  series       = {Lecture Notes in Computer Science},
  volume       = {13966},
  pages        = {139--153},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-37709-9\_7},
  doi          = {10.1007/978-3-031-37709-9\_7},
  timestamp    = {Tue, 12 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/ChenCLLT23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/CouillardCEM23,
  author       = {Eszter Couillard and
                  Philipp Czerner and
                  Javier Esparza and
                  Rupak Majumdar},
  editor       = {Constantin Enea and
                  Akash Lal},
  title        = {Making sf IP=sf {PSPACE} Practical: Efficient Interactive Protocols
                  for {BDD} Algorithms},
  booktitle    = {Computer Aided Verification - 35th International Conference, {CAV}
                  2023, Paris, France, July 17-22, 2023, Proceedings, Part {III}},
  series       = {Lecture Notes in Computer Science},
  volume       = {13966},
  pages        = {437--458},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-37709-9\_21},
  doi          = {10.1007/978-3-031-37709-9\_21},
  timestamp    = {Tue, 12 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/CouillardCEM23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/FengMSC23,
  author       = {Nick Feng and
                  Lina Marsso and
                  Mehrdad Sabetzadeh and
                  Marsha Chechik},
  editor       = {Constantin Enea and
                  Akash Lal},
  title        = {Early Verification of Legal Compliance via Bounded Satisfiability
                  Checking},
  booktitle    = {Computer Aided Verification - 35th International Conference, {CAV}
                  2023, Paris, France, July 17-22, 2023, Proceedings, Part {III}},
  series       = {Lecture Notes in Computer Science},
  volume       = {13966},
  pages        = {374--396},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-37709-9\_18},
  doi          = {10.1007/978-3-031-37709-9\_18},
  timestamp    = {Tue, 12 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/FengMSC23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/GriggioJ23,
  author       = {Alberto Griggio and
                  Martin Jon{\'{a}}s},
  editor       = {Constantin Enea and
                  Akash Lal},
  title        = {Kratos2: An SMT-Based Model Checker for Imperative Programs},
  booktitle    = {Computer Aided Verification - 35th International Conference, {CAV}
                  2023, Paris, France, July 17-22, 2023, Proceedings, Part {III}},
  series       = {Lecture Notes in Computer Science},
  volume       = {13966},
  pages        = {423--436},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-37709-9\_20},
  doi          = {10.1007/978-3-031-37709-9\_20},
  timestamp    = {Tue, 12 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/GriggioJ23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/GuilloudBMK23,
  author       = {Simon Guilloud and
                  Mario Bucev and
                  Dragana Milovancevic and
                  Viktor Kuncak},
  editor       = {Constantin Enea and
                  Akash Lal},
  title        = {Formula Normalizations in Verification},
  booktitle    = {Computer Aided Verification - 35th International Conference, {CAV}
                  2023, Paris, France, July 17-22, 2023, Proceedings, Part {III}},
  series       = {Lecture Notes in Computer Science},
  volume       = {13966},
  pages        = {398--422},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-37709-9\_19},
  doi          = {10.1007/978-3-031-37709-9\_19},
  timestamp    = {Tue, 12 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/GuilloudBMK23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/JohannsenJKRZ23,
  author       = {Chris Johannsen and
                  Phillip H. Jones and
                  Brian Kempa and
                  Kristin Yvonne Rozier and
                  Pei Zhang},
  editor       = {Constantin Enea and
                  Akash Lal},
  title        = {{R2U2} Version 3.0: Re-Imagining a Toolchain for Specification, Resource
                  Estimation, and Optimized Observer Generation for Runtime Verification
                  in Hardware and Software},
  booktitle    = {Computer Aided Verification - 35th International Conference, {CAV}
                  2023, Paris, France, July 17-22, 2023, Proceedings, Part {III}},
  series       = {Lecture Notes in Computer Science},
  volume       = {13966},
  pages        = {483--497},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-37709-9\_23},
  doi          = {10.1007/978-3-031-37709-9\_23},
  timestamp    = {Tue, 12 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/JohannsenJKRZ23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/LiSWZ23,
  author       = {Elaine Li and
                  Felix Stutz and
                  Thomas Wies and
                  Damien Zufferey},
  editor       = {Constantin Enea and
                  Akash Lal},
  title        = {Complete Multiparty Session Type Projection with Automata},
  booktitle    = {Computer Aided Verification - 35th International Conference, {CAV}
                  2023, Paris, France, July 17-22, 2023, Proceedings, Part {III}},
  series       = {Lecture Notes in Computer Science},
  volume       = {13966},
  pages        = {350--373},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-37709-9\_17},
  doi          = {10.1007/978-3-031-37709-9\_17},
  timestamp    = {Tue, 12 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/LiSWZ23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/LiuSC23,
  author       = {Mingyang Liu and
                  Fu Song and
                  Taolue Chen},
  editor       = {Constantin Enea and
                  Akash Lal},
  title        = {Automated Verification of Correctness for Masked Arithmetic Programs},
  booktitle    = {Computer Aided Verification - 35th International Conference, {CAV}
                  2023, Paris, France, July 17-22, 2023, Proceedings, Part {III}},
  series       = {Lecture Notes in Computer Science},
  volume       = {13966},
  pages        = {255--280},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-37709-9\_13},
  doi          = {10.1007/978-3-031-37709-9\_13},
  timestamp    = {Tue, 12 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/LiuSC23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/MajumdarMRSS23,
  author       = {Rupak Majumdar and
                  Kaushik Mallik and
                  Mateusz Rychlicki and
                  Anne{-}Kathrin Schmuck and
                  Sadegh Soudjani},
  editor       = {Constantin Enea and
                  Akash Lal},
  title        = {A Flexible Toolchain for Symbolic Rabin Games under Fair and Stochastic
                  Uncertainties},
  booktitle    = {Computer Aided Verification - 35th International Conference, {CAV}
                  2023, Paris, France, July 17-22, 2023, Proceedings, Part {III}},
  series       = {Lecture Notes in Computer Science},
  volume       = {13966},
  pages        = {3--15},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-37709-9\_1},
  doi          = {10.1007/978-3-031-37709-9\_1},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/MajumdarMRSS23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/OzdemirWBB23,
  author       = {Alex Ozdemir and
                  Riad S. Wahby and
                  Fraser Brown and
                  Clark W. Barrett},
  editor       = {Constantin Enea and
                  Akash Lal},
  title        = {Bounded Verification for Finite-Field-Blasting - In a Compiler for
                  Zero Knowledge Proofs},
  booktitle    = {Computer Aided Verification - 35th International Conference, {CAV}
                  2023, Paris, France, July 17-22, 2023, Proceedings, Part {III}},
  series       = {Lecture Notes in Computer Science},
  volume       = {13966},
  pages        = {154--175},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-37709-9\_8},
  doi          = {10.1007/978-3-031-37709-9\_8},
  timestamp    = {Tue, 12 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/OzdemirWBB23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/RodriguezS23,
  author       = {Andoni Rodr{\'{\i}}guez and
                  C{\'{e}}sar S{\'{a}}nchez},
  editor       = {Constantin Enea and
                  Akash Lal},
  title        = {Boolean Abstractions for Realizability Modulo Theories},
  booktitle    = {Computer Aided Verification - 35th International Conference, {CAV}
                  2023, Paris, France, July 17-22, 2023, Proceedings, Part {III}},
  series       = {Lecture Notes in Computer Science},
  volume       = {13966},
  pages        = {305--328},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-37709-9\_15},
  doi          = {10.1007/978-3-031-37709-9\_15},
  timestamp    = {Tue, 12 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/RodriguezS23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/SistlaCR23,
  author       = {Meghana Sistla and
                  Swarat Chaudhuri and
                  Thomas W. Reps},
  editor       = {Constantin Enea and
                  Akash Lal},
  title        = {Symbolic Quantum Simulation with Quasimodo},
  booktitle    = {Computer Aided Verification - 35th International Conference, {CAV}
                  2023, Paris, France, July 17-22, 2023, Proceedings, Part {III}},
  series       = {Lecture Notes in Computer Science},
  volume       = {13966},
  pages        = {213--225},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-37709-9\_11},
  doi          = {10.1007/978-3-031-37709-9\_11},
  timestamp    = {Tue, 12 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/SistlaCR23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/SunFCG23,
  author       = {Yican Sun and
                  Hongfei Fu and
                  Krishnendu Chatterjee and
                  Amir Kafshdar Goharshady},
  editor       = {Constantin Enea and
                  Akash Lal},
  title        = {Automated Tail Bound Analysis for Probabilistic Recurrence Relations},
  booktitle    = {Computer Aided Verification - 35th International Conference, {CAV}
                  2023, Paris, France, July 17-22, 2023, Proceedings, Part {III}},
  series       = {Lecture Notes in Computer Science},
  volume       = {13966},
  pages        = {16--39},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-37709-9\_2},
  doi          = {10.1007/978-3-031-37709-9\_2},
  timestamp    = {Tue, 12 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/SunFCG23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/TakharR23,
  author       = {Gourav Takhar and
                  Subhajit Roy},
  editor       = {Constantin Enea and
                  Akash Lal},
  title        = {{SR-SFLL:} Structurally Robust Stripped Functionality Logic Locking},
  booktitle    = {Computer Aided Verification - 35th International Conference, {CAV}
                  2023, Paris, France, July 17-22, 2023, Proceedings, Part {III}},
  series       = {Lecture Notes in Computer Science},
  volume       = {13966},
  pages        = {190--212},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-37709-9\_10},
  doi          = {10.1007/978-3-031-37709-9\_10},
  timestamp    = {Tue, 12 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/TakharR23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/TsaiFLSWY23,
  author       = {Ming{-}Hsien Tsai and
                  Yu{-}Fu Fu and
                  Jiaxiang Liu and
                  Xiaomu Shi and
                  Bow{-}Yaw Wang and
                  Bo{-}Yin Yang},
  editor       = {Constantin Enea and
                  Akash Lal},
  title        = {Certified Verification for Algebraic Abstraction},
  booktitle    = {Computer Aided Verification - 35th International Conference, {CAV}
                  2023, Paris, France, July 17-22, 2023, Proceedings, Part {III}},
  series       = {Lecture Notes in Computer Science},
  volume       = {13966},
  pages        = {329--349},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-37709-9\_16},
  doi          = {10.1007/978-3-031-37709-9\_16},
  timestamp    = {Tue, 12 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/TsaiFLSWY23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/VishwanathanSNN23,
  author       = {Harishankar Vishwanathan and
                  Matan Shachnai and
                  Srinivas Narayana and
                  Santosh Nagarakatte},
  editor       = {Constantin Enea and
                  Akash Lal},
  title        = {Verifying the Verifier: eBPF Range Analysis Verification},
  booktitle    = {Computer Aided Verification - 35th International Conference, {CAV}
                  2023, Paris, France, July 17-22, 2023, Proceedings, Part {III}},
  series       = {Lecture Notes in Computer Science},
  volume       = {13966},
  pages        = {226--251},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-37709-9\_12},
  doi          = {10.1007/978-3-031-37709-9\_12},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/VishwanathanSNN23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/WatanabeEAH23,
  author       = {Kazuki Watanabe and
                  Clovis Eberhart and
                  Kazuyuki Asada and
                  Ichiro Hasuo},
  editor       = {Constantin Enea and
                  Akash Lal},
  title        = {Compositional Probabilistic Model Checking with String Diagrams of
                  MDPs},
  booktitle    = {Computer Aided Verification - 35th International Conference, {CAV}
                  2023, Paris, France, July 17-22, 2023, Proceedings, Part {III}},
  series       = {Lecture Notes in Computer Science},
  volume       = {13966},
  pages        = {40--61},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-37709-9\_3},
  doi          = {10.1007/978-3-031-37709-9\_3},
  timestamp    = {Tue, 12 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/WatanabeEAH23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/ZhangDYW23,
  author       = {Hanliang Zhang and
                  Cristina David and
                  Yijun Yu and
                  Meng Wang},
  editor       = {Constantin Enea and
                  Akash Lal},
  title        = {Ownership Guided {C} to Rust Translation},
  booktitle    = {Computer Aided Verification - 35th International Conference, {CAV}
                  2023, Paris, France, July 17-22, 2023, Proceedings, Part {III}},
  series       = {Lecture Notes in Computer Science},
  volume       = {13966},
  pages        = {459--482},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-37709-9\_22},
  doi          = {10.1007/978-3-031-37709-9\_22},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/ZhangDYW23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/cav/2023-3,
  editor       = {Constantin Enea and
                  Akash Lal},
  title        = {Computer Aided Verification - 35th International Conference, {CAV}
                  2023, Paris, France, July 17-22, 2023, Proceedings, Part {III}},
  series       = {Lecture Notes in Computer Science},
  volume       = {13966},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-37709-9},
  doi          = {10.1007/978-3-031-37709-9},
  isbn         = {978-3-031-37708-2},
  timestamp    = {Tue, 12 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/2023-3.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.