EasyChair Smart SlideDocs/Log in
Author: Carl Corea

This page shows all presentations of this author published in EasyChair Smart Slide.

Inconsistency Measurement in LTLf Based on Minimal Inconsistent Sets and Minimal Correction Sets

Inconsistency Measurement in LTLf Based on Minimal Inconsistent Sets and Minimal Correction Sets

Isabelle Kuhlmann and Carl Corea

Presentations in this collection: 1
Copyright © 2002 – 2024 EasyChair