@inproceedings{grps2023-243,

   author = " Diego Aineto, Enrico Scala, Eva Onaindia, Ivan Serina",

   title = "Falsification of Cyber-Physical Systems Using PDDL+ Planning",

   booktitle = "Proc. of the Thirty-Third International Conference on Automated Planning and Scheduling (ICAPS 2023)",

   publisher = "AAAI",

   pages = "2-6",

   year = "2023"

}