BibTeX record conf/lpnmr/EspositoP22

• > Home > conf/lpnmr/EspositoP22

@inproceedings{DBLP:conf/lpnmr/EspositoP22,
  author       = {Marco Esposito and
                  Leonardo Picchiami},
  editor       = {Pierangela Bruno and
                  Francesco Calimeri and
                  Francesco Cauteruccio and
                  Marco Maratea and
                  Giorgio Terracina and
                  Mauro Vallati},
  title        = {Estimation-Based Verification of Cyber-Physical Systems via Statistical
                  Model Checking},
  booktitle    = {Joint Proceedings of the 1st International Workshop on HYbrid Models
                  for Coupling Deductive and Inductive ReAsoning {(HYDRA} 2022) and
                  the 29th {RCRA} Workshop on Experimental Evaluation of Algorithms
                  for Solving Problems with Combinatorial Explosion {(RCRA} 2022) co-located
                  with the 16th International Conference on Logic Programming and Non-monotonic
                  Reasoning {(LPNMR} 2022), Genova Nervi, Italy, September 5, 2022},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {3281},
  pages        = {51--63},
  publisher    = {CEUR-WS.org},
  year         = {2022},
  url          = {https://ceur-ws.org/Vol-3281/paper5.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:23:44 +0100},
  biburl       = {https://dblp.org/rec/conf/lpnmr/EspositoP22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}