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},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2515-1762},
  year      = {2023}}

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},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2515-1762},
  url       = {/publications/paper/Rkrv},
  doi       = {10.29007/5s2x},
  pages     = {1-5},
  year      = {2023}}


@inproceedings{FoMLAS2023:Scaling_Model_Checking_Neural,
  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},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2515-1762},
  url       = {/publications/paper/65SW},
  doi       = {10.29007/7r6j},
  pages     = {6-28},
  year      = {2023}}


@inproceedings{FoMLAS2023:Prediction_Control_Stochastic_Agents,
  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},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2515-1762},
  url       = {/publications/paper/hWbP},
  doi       = {10.29007/1q69},
  pages     = {29-34},
  year      = {2023}}


@inproceedings{FoMLAS2023:Certified_Private_Inference_Neural,
  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},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2515-1762},
  url       = {/publications/paper/bVbP},
  doi       = {10.29007/59w3},
  pages     = {35-46},
  year      = {2023}}


@inproceedings{FoMLAS2023:Supporting_Standardization_Neural_Networks,
  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},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2515-1762},
  url       = {/publications/paper/Qgdn},
  doi       = {10.29007/5pdh},
  pages     = {47-58},
  year      = {2023}}


@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},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2515-1762},
  url       = {/publications/paper/9ZGS},
  doi       = {10.29007/7wxb},
  pages     = {59-70},
  year      = {2023}}


@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},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2515-1762},
  url       = {/publications/paper/JF5L},
  doi       = {10.29007/pvtn},
  pages     = {71-82},
  year      = {2023}}