Cited By
View all- Chatterjee KIbsen-Jensen RPavlogiannis A(2021)Faster algorithms for quantitative verification in bounded treewidth graphsFormal Methods in System Design10.1007/s10703-021-00373-5Online publication date: 29-Apr-2021
- Bansal SChaudhuri SVardi M(2018)Automata vs Linear-Programming Discounted-Sum InclusionComputer Aided Verification10.1007/978-3-319-96142-2_9(99-116)Online publication date: 18-Jul-2018
- Olaechea RFahrenberg UAtlee JLegay AMei H(2016)Long-term average cost in featured transition systemsProceedings of the 20th International Systems and Software Product Line Conference10.1145/2934466.2934473(109-118)Online publication date: 16-Sep-2016
- Show More Cited By