papers
Publications (5)
cs.LO2018
Recursive Online Enumeration of All Minimal Unsatisfiable Subsets
Jaroslav Bendik, Ivana Cerna, Nikola Benes
cs.AI2016
Tunable Online MUS/MSS Enumeration
Jaroslav Bendik, Nikola Benes, Ivana Cerna +1
cs.LO2013
Optimal Control of MDPs with Temporal Logic Constraints
Maria Svorenova, Ivana Cerna, Calin Belta
cs.RO2012
Attraction-Based Receding Horizon Path Planning with Temporal Logic Constraints
Maria Svorenova, Jana Tumova, Jiri Barnat +1
cs.SE2017
Finding Regressions in Projects under Version Control Systems
Jaroslav Bendik, Nikola Benes, Ivana Cerna