Counterexample-Guided Synthesis of Observation Predicates
From MaRDI portal
Publication:4649389
DOI10.1007/978-3-642-33365-1_9zbMath1374.68083OpenAlexW2271441959MaRDI QIDQ4649389
Rayna Dimitrova, Bernd Finkbeiner
Publication date: 21 November 2012
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: http://eprints.whiterose.ac.uk/156476/1/formats12.pdf
Applications of game theory (91A80) Formal languages and automata (68Q45) Performance evaluation, queueing, and scheduling in the context of computer systems (68M20)
Related Items
How testing helps to diagnose proof failures, BOCoSy: Small but Powerful Symbolic Output-Feedback Control
