Backward reachability analysis for timed automata with data variables

TitleBackward reachability analysis for timed automata with data variables
Publication TypeConference Paper
Year of Publication2018
AuthorsRebeka, F., Tóth, T., Hajdu, Á., and Vörös, A.
Conference Name18th International Workshop on Automated Verification of Critical Systems
PublisherEASST
Conference LocationOxford, England
DOI10.14279/tuj.eceasst.76.1076
PDF: