{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:27:47Z","timestamp":1750220867455,"version":"3.41.0"},"reference-count":0,"publisher":"Association for Computing Machinery (ACM)","issue":"1","license":[{"start":{"date-parts":[[2019,2,19]],"date-time":"2019-02-19T00:00:00Z","timestamp":1550534400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM SIGLOG News"],"published-print":{"date-parts":[[2019,2,19]]},"abstract":"<jats:p>In this timely and comprehensive article, the authors provide an insightful overview of the lively field of automatic verification of hybrid systems. They focus on the fundamental problem of reachability, and consider both exact and approximate approaches. I am sure that Oded Maler, to whom this contribution is very fittingly dedicated, would have been proud to see such an authoritative and useful summary of the state of the art of an area he had helped introduce.<\/jats:p>","DOI":"10.1145\/3313909.3313912","type":"journal-article","created":{"date-parts":[[2020,4,4]],"date-time":"2020-04-04T09:06:12Z","timestamp":1585991172000},"page":"18-18","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Verification Column"],"prefix":"10.1145","volume":"6","author":[{"given":"Ranko","family":"Lazi\u0107","sequence":"first","affiliation":[{"name":"University of Warwick"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2019,2,19]]},"container-title":["ACM SIGLOG News"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3313909.3313912","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3313909.3313912","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T23:23:47Z","timestamp":1750202627000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3313909.3313912"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,2,19]]},"references-count":0,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2019,2,19]]}},"alternative-id":["10.1145\/3313909.3313912"],"URL":"https:\/\/doi.org\/10.1145\/3313909.3313912","relation":{},"ISSN":["2372-3491"],"issn-type":[{"type":"electronic","value":"2372-3491"}],"subject":[],"published":{"date-parts":[[2019,2,19]]},"assertion":[{"value":"2019-02-19","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}