RC-Tree: A Variant Avoiding all the Redundancy in Reiter's Minimal Hitting Set Algorithm

Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

Filter

Finished
eDAS - Holistic Energy Management for third and fourth generation of EVs: eDAS = efficiency powered by smart Design meaningful Architecture connected Systems
Wotawa, F. (Project manager on research unit)
1/10/13 → 30/09/16
Project: Research project
FWF - MoDiaForTeD - Model-based Diagnosis for Formal Temporal Descriptions
Quaritsch, S. (Attendee / Assistant) & Pill, I. H. (Project manager)
1/11/10 → 30/06/15
Project: Research project
Artificial Intelligence & Applications
Haase, V. (Attendee), Wotawa, F. (Contact person) & Pill, I. H. (Attendee)
16/11/00 → 31/12/24
Project: Research area

Projects