Search dblp for Publications

export results for "toc:db/conf/cav/fomlas2023.bht:"

 download as .bib file

@inproceedings{DBLP:conf/cav/BoetiusL23,
  author       = {David Boetius and
                  Stefan Leue},
  editor       = {Nina Narodytska and
                  Guy Amir and
                  Guy Katz and
                  Omri Isac},
  title        = {Verifying Global Neural Network Specifications using Hyperproperties},
  booktitle    = {Proceedings of the 6th Workshop on Formal Methods for ML-Enabled Autonomous
                  Systems, FoMLAS@CAV 2023, Paris, France, July 17-18, 2023},
  series       = {Kalpa Publications in Computing},
  volume       = {16},
  pages        = {71--82},
  publisher    = {EasyChair},
  year         = {2023},
  url          = {https://doi.org/10.29007/pvtn},
  doi          = {10.29007/PVTN},
  timestamp    = {Wed, 29 May 2024 17:14:11 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/BoetiusL23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/Casadio0DIDKRK23,
  author       = {Marco Casadio and
                  Luca Arnaboldi and
                  Matthew L. Daggitt and
                  Omri Isac and
                  Tanvi Dinkar and
                  Daniel Kienitz and
                  Verena Rieser and
                  Ekaterina Komendantskaya},
  editor       = {Nina Narodytska and
                  Guy Amir and
                  Guy Katz and
                  Omri Isac},
  title        = {{ANTONIO:} Towards a Systematic Method of Generating {NLP} Benchmarks
                  for Verification},
  booktitle    = {Proceedings of the 6th Workshop on Formal Methods for ML-Enabled Autonomous
                  Systems, FoMLAS@CAV 2023, Paris, France, July 17-18, 2023},
  series       = {Kalpa Publications in Computing},
  volume       = {16},
  pages        = {59--70},
  publisher    = {EasyChair},
  year         = {2023},
  url          = {https://doi.org/10.29007/7wxb},
  doi          = {10.29007/7WXB},
  timestamp    = {Sun, 06 Oct 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/Casadio0DIDKRK23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/DaggittKKA0SCCL23,
  author       = {Matthew L. Daggitt and
                  Wen Kokke and
                  Ekaterina Komendantskaya and
                  Robert Atkey and
                  Luca Arnaboldi and
                  Natalia Slusarz and
                  Marco Casadio and
                  Ben Coke and
                  Jeonghyeon Lee},
  editor       = {Nina Narodytska and
                  Guy Amir and
                  Guy Katz and
                  Omri Isac},
  title        = {The Vehicle Tutorial: Neural Network Verification with Vehicle},
  booktitle    = {Proceedings of the 6th Workshop on Formal Methods for ML-Enabled Autonomous
                  Systems, FoMLAS@CAV 2023, Paris, France, July 17-18, 2023},
  series       = {Kalpa Publications in Computing},
  volume       = {16},
  pages        = {1--5},
  publisher    = {EasyChair},
  year         = {2023},
  url          = {https://doi.org/10.29007/5s2x},
  doi          = {10.29007/5S2X},
  timestamp    = {Wed, 29 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/DaggittKKA0SCCL23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/DemarchiGPT23,
  author       = {Stefano Demarchi and
                  Dario Guidotti and
                  Luca Pulina and
                  Armando Tacchella},
  editor       = {Nina Narodytska and
                  Guy Amir and
                  Guy Katz and
                  Omri Isac},
  title        = {Supporting Standardization of Neural Networks Verification with {VNNLIB}
                  and CoCoNet},
  booktitle    = {Proceedings of the 6th Workshop on Formal Methods for ML-Enabled Autonomous
                  Systems, FoMLAS@CAV 2023, Paris, France, July 17-18, 2023},
  series       = {Kalpa Publications in Computing},
  volume       = {16},
  pages        = {47--58},
  publisher    = {EasyChair},
  year         = {2023},
  url          = {https://doi.org/10.29007/5pdh},
  doi          = {10.29007/5PDH},
  timestamp    = {Wed, 29 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/DemarchiGPT23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/ManinoMMC23,
  author       = {Edoardo Manino and
                  Bernardo Magri and
                  Mustafa A. Mustafa and
                  Lucas C. Cordeiro},
  editor       = {Nina Narodytska and
                  Guy Amir and
                  Guy Katz and
                  Omri Isac},
  title        = {Certified Private Inference on Neural Networks via Lipschitz-Guided
                  Abstraction Refinement},
  booktitle    = {Proceedings of the 6th Workshop on Formal Methods for ML-Enabled Autonomous
                  Systems, FoMLAS@CAV 2023, Paris, France, July 17-18, 2023},
  series       = {Kalpa Publications in Computing},
  volume       = {16},
  pages        = {35--46},
  publisher    = {EasyChair},
  year         = {2023},
  url          = {https://doi.org/10.29007/59w3},
  doi          = {10.29007/59W3},
  timestamp    = {Sun, 04 Aug 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/ManinoMMC23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/NaseerH023,
  author       = {Mahum Naseer and
                  Osman Hasan and
                  Muhammad Shafique},
  editor       = {Nina Narodytska and
                  Guy Amir and
                  Guy Katz and
                  Omri Isac},
  title        = {Scaling Model Checking for Neural Network Analysis via State-Space
                  Reduction and Input Segmentation},
  booktitle    = {Proceedings of the 6th Workshop on Formal Methods for ML-Enabled Autonomous
                  Systems, FoMLAS@CAV 2023, Paris, France, July 17-18, 2023},
  series       = {Kalpa Publications in Computing},
  volume       = {16},
  pages        = {6--28},
  publisher    = {EasyChair},
  year         = {2023},
  url          = {https://doi.org/10.29007/7r6j},
  doi          = {10.29007/7R6J},
  timestamp    = {Wed, 29 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/NaseerH023.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/RavivGBAK23,
  author       = {Avraham Raviv and
                  Yuval Gerber and
                  Liri Benzinou and
                  Michelle Aluf{-}Medina and
                  Hillel Kugler},
  editor       = {Nina Narodytska and
                  Guy Amir and
                  Guy Katz and
                  Omri Isac},
  title        = {Prediction and Control of Stochastic Agents Using Formal Methods},
  booktitle    = {Proceedings of the 6th Workshop on Formal Methods for ML-Enabled Autonomous
                  Systems, FoMLAS@CAV 2023, Paris, France, July 17-18, 2023},
  series       = {Kalpa Publications in Computing},
  volume       = {16},
  pages        = {29--34},
  publisher    = {EasyChair},
  year         = {2023},
  url          = {https://doi.org/10.29007/1q69},
  doi          = {10.29007/1Q69},
  timestamp    = {Sun, 06 Oct 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/RavivGBAK23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/cav/2023fomlas,
  editor       = {Nina Narodytska and
                  Guy Amir and
                  Guy Katz and
                  Omri Isac},
  title        = {Proceedings of the 6th Workshop on Formal Methods for ML-Enabled Autonomous
                  Systems, FoMLAS@CAV 2023, Paris, France, July 17-18, 2023},
  series       = {Kalpa Publications in Computing},
  volume       = {16},
  publisher    = {EasyChair},
  year         = {2023},
  url          = {https://www.easychair.org/publications/volume/FoMLAS2023},
  timestamp    = {Wed, 29 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/2023fomlas.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

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.