Collaborated with:
B.Finkbeiner M.Stenger H.Torfah P.Lukert L.Tentrup
Talks about:
hyperproperti (3) check (2) synthes (1) satisfi (1) reactiv (1) quantit (1) equival (1) system (1) implic (1) model (1)
Person: Christopher Hahn
DBLP: Hahn:Christopher
Contributed to:
Wrote 3 papers:
- CAV-2017-FinkbeinerHS #equivalence #named #satisfiability
- EAHyper: Satisfiability, Implication, and Equivalence Checking of Hyperproperties (BF, CH, MS), pp. 564–570.
- CAV-2018-FinkbeinerHLST
- Synthesizing Reactive Systems from Hyperproperties (BF, CH, PL, MS, LT), pp. 289–306.
- CAV-2018-FinkbeinerHT #model checking
- Model Checking Quantitative Hyperproperties (BF, CH, HT), pp. 144–163.