27 citations · 106 across the 15 of their papers we have counts for
Showing 2016Show all
2 papers · 1 filter
cs.AI2016
Tunable Online MUS/MSS Enumeration
Jaroslav Bendik, Nikola Benes, Ivana Cerna +1
In various areas of computer science, the problem of dealing with a set of constraints arises. If the set of constraints is unsatisfiable, one may ask for a minimal description of…
cs.LO2016
Optimal Observation Mode Scheduling for Systems under Temporal Constraints
Eva Tesarova, Maria Svorenova, Jiri Barnat +1
Autonomous control systems use various sensors to decrease the amount of uncertainty under which they operate. While providing partial observation of the current state of the syste…