BibTeX record conf/memocode/QinADB23

• > Home > conf/memocode/QinADB23

@inproceedings{DBLP:conf/memocode/QinADB23,
  author       = {Xin Qin and
                  Nikos Ar{\'{e}}chiga and
                  Jyotirmoy Deshmukh and
                  Andrew Best},
  editor       = {Reinhard von Hanxleden and
                  Stephen A. Edwards and
                  Jens Brandt and
                  Qi Zhu},
  title        = {Robust Testing for Cyber-Physical Systems using Reinforcement Learning},
  booktitle    = {21st {ACM-IEEE} International Symposium on Formal Methods and Models
                  for System Design, {MEMOCODE} 2023, Hamburg, Germany, September 21-22,
                  2023},
  pages        = {36--46},
  publisher    = {{ACM} / {IEEE}},
  year         = {2023},
  url          = {https://ieeexplore.ieee.org/document/10316215},
  timestamp    = {Fri, 15 Dec 2023 12:01:04 +0100},
  biburl       = {https://dblp.org/rec/conf/memocode/QinADB23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}