Jaroslav Bendík

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Rotation based MSS/MCS enumeration	2025-02-20	Paper
Hashing-based approximate counting of minimal unsatisfiable subsets Formal Methods in System Design	2024-11-04	Paper
Recursive online enumeration of all minimal unsatisfiable subsets Automated Technology for Verification and Analysis	2023-07-28	Paper
Online Enumeration of All Minimal Inductive Validity Cores Software Engineering and Formal Methods	2023-05-05	Paper
Timed automata robustness analysis via model checking (available as arXiv preprint)	2022-08-30	Paper
Timed automata robustness analysis via model checking	2022-08-30	Paper
Counting minimal unsatisfiable subsets	2022-03-25	Paper
Timed automata relaxation for reachability	2021-08-04	Paper
Approximate counting of minimal unsatisfiable subsets	2021-02-04	Paper
Evaluation of domain agnostic approaches for enumeration of minimal unsatisfiable subsets EPiC Series in Computing	2019-07-04	Paper
Finding boundary elements in ordered sets with application to safety and requirements analysis Software Engineering and Formal Methods	2018-07-06	Paper
Tunable online MUS/MSS enumeration (available as arXiv preprint)	2018-04-19	Paper

Research outcomes over time

This page was built for person: Jaroslav Bendík