Cited By
View all- Roselli SFabian MÅkesson K(2023)Conflict-free electric vehicle routing problem: an improved compositional algorithmDiscrete Event Dynamic Systems10.1007/s10626-023-00388-634:1(21-51)Online publication date: 18-Dec-2023
- Berryhill RVeira NVeneris APoulos Z(2017)Learning lemma support graphs in Quip and IC32017 IEEE 2nd International Verification and Security Workshop (IVSW)10.1109/IVSW.2017.8031554(105-110)Online publication date: Jul-2017
- Schuppan V(2016)Extracting unsatisfiable cores for LTL via temporal resolutionActa Informatica10.1007/s00236-015-0242-153:3(247-299)Online publication date: 1-Apr-2016
- Show More Cited By