EasyChair Smart SlideUser guide
Author: Davide Giacomo Cavezza

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

Heuristic-Based GR(1) Assumptions Refinement

Heuristic-Based GR(1) Assumptions Refinement

Davide Giacomo Cavezza

A Weakness Measure for GR(1) Formulae

A Weakness Measure for GR(1) Formulae

Davide Giacomo Cavezza, Dalal Alrajeh and Andras Gyorgy

Presentations in this collection: 2
Copyright © 2002 – 2026 EasyChair