FoMLAS2023:BibTeX Entries

Volume

@proceedings{FoMLAS2023,
  title     = {Proceedings of the 6th Workshop on Formal Methods for ML-Enabled Autonomous Systems},
  editor    = {Nina Narodytska and Guy Amir and Guy Katz and Omri Isac},
  series    = {Kalpa Publications in Computing},
  volume    = {16},
  year      = {2023},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2515-1762}}

Papers

@inproceedings{FoMLAS2023:Vehicle_Tutorial_Neural_Network,
  author    = {Matthew 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},
  title     = {The Vehicle Tutorial: Neural Network Verification with Vehicle},
  booktitle = {Proceedings of the 6th Workshop on Formal Methods for ML-Enabled Autonomous Systems},
  editor    = {Nina Narodytska and Guy Amir and Guy Katz and Omri Isac},
  series    = {Kalpa Publications in Computing},
  volume    = {16},
  pages     = {1--5},
  year      = {2023},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2515-1762},
  url       = {https://easychair.org/publications/paper/Rkrv},
  doi       = {10.29007/5s2x}}

@inproceedings{FoMLAS2023:Scaling_Model_Checking_for,
  author    = {Mahum Naseer and Osman Hasan and Muhammad Shafique},
  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},
  editor    = {Nina Narodytska and Guy Amir and Guy Katz and Omri Isac},
  series    = {Kalpa Publications in Computing},
  volume    = {16},
  pages     = {6--28},
  year      = {2023},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2515-1762},
  url       = {https://easychair.org/publications/paper/65SW},
  doi       = {10.29007/7r6j}}

@inproceedings{FoMLAS2023:Prediction_and_Control_of,
  author    = {Avraham Raviv and Yuval Gerber and Liri Benzinou and Michelle Aluf-Medina and Hillel Kugler},
  title     = {Prediction and Control of Stochastic Agents Using Formal Methods},
  booktitle = {Proceedings of the 6th Workshop on Formal Methods for ML-Enabled Autonomous Systems},
  editor    = {Nina Narodytska and Guy Amir and Guy Katz and Omri Isac},
  series    = {Kalpa Publications in Computing},
  volume    = {16},
  pages     = {29--34},
  year      = {2023},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2515-1762},
  url       = {https://easychair.org/publications/paper/hWbP},
  doi       = {10.29007/1q69}}

@inproceedings{FoMLAS2023:Certified_Private_Inference_on,
  author    = {Edoardo Manino and Bernardo Magri and Mustafa Mustafa and Lucas Cordeiro},
  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},
  editor    = {Nina Narodytska and Guy Amir and Guy Katz and Omri Isac},
  series    = {Kalpa Publications in Computing},
  volume    = {16},
  pages     = {35--46},
  year      = {2023},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2515-1762},
  url       = {https://easychair.org/publications/paper/bVbP},
  doi       = {10.29007/59w3}}

@inproceedings{FoMLAS2023:Supporting_Standardization_of_Neural,
  author    = {Stefano Demarchi and Dario Guidotti and Luca Pulina and Armando Tacchella},
  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},
  editor    = {Nina Narodytska and Guy Amir and Guy Katz and Omri Isac},
  series    = {Kalpa Publications in Computing},
  volume    = {16},
  pages     = {47--58},
  year      = {2023},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2515-1762},
  url       = {https://easychair.org/publications/paper/Qgdn},
  doi       = {10.29007/5pdh}}

@inproceedings{FoMLAS2023:ANTONIO_Towards_Systematic_Method,
  author    = {Marco Casadio and Luca Arnaboldi and Matthew Daggitt and Omri Isac and Tanvi Dinkar and Daniel Kienitz and Verena Rieser and Ekaterina Komendantskaya},
  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},
  editor    = {Nina Narodytska and Guy Amir and Guy Katz and Omri Isac},
  series    = {Kalpa Publications in Computing},
  volume    = {16},
  pages     = {59--70},
  year      = {2023},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2515-1762},
  url       = {https://easychair.org/publications/paper/9ZGS},
  doi       = {10.29007/7wxb}}

@inproceedings{FoMLAS2023:Verifying_Global_Neural_Network,
  author    = {David Boetius and Stefan Leue},
  title     = {Verifying Global Neural Network Specifications using Hyperproperties},
  booktitle = {Proceedings of the 6th Workshop on Formal Methods for ML-Enabled Autonomous Systems},
  editor    = {Nina Narodytska and Guy Amir and Guy Katz and Omri Isac},
  series    = {Kalpa Publications in Computing},
  volume    = {16},
  pages     = {71--82},
  year      = {2023},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2515-1762},
  url       = {https://easychair.org/publications/paper/JF5L},
  doi       = {10.29007/pvtn}}