%0 Thesis %1 phd/be/Raha23 %A Raha, Ritam %D 2023 %K dblp %T Learning and verifying temporal specifications for cyber-physical systems

@phdthesis{phd/be/Raha23, added-at = {2023-11-21T00:00:00.000+0100}, author = {Raha, Ritam}, biburl = {https://www.bibsonomy.org/bibtex/205b66f16ef9099b1a1c386b1d38672b9/dblp}, ee = {https://tel.archives-ouvertes.fr/tel-04267885}, interhash = {740a273cb655ed473c34c05fbfa36578}, intrahash = {05b66f16ef9099b1a1c386b1d38672b9}, keywords = {dblp}, school = {University of Antwerp, Belgium}, timestamp = {2024-04-09T08:01:49.000+0200}, title = {Learning and verifying temporal specifications for cyber-physical systems}, year = 2023 }