Alberto Molinari

Identifiers

• name variant Alberto Molinari 0.50 · backfill

Papers (4)

1. Undecidability of future timeline-based planning over dense temporal domains cs.FL · 2019 · author #2
2. Model checking: the interval way cs.LO · 2019 · author #1
3. Interval vs. Point Temporal Logic Model Checking: an Expressiveness Comparison cs.LO · 2017 · author #2
4. Model Checking for Fragments of Halpern and Shoham's Interval Temporal Logic Based on Track Representatives cs.LO · 2017 · author #1

Mentions

No mention provenance yet.

Frequent Coauthors

• Adriano Peron 3 shared papers
• Angelo Montanari 3 shared papers
• Laura Bozzelli 2 shared papers
• Pietro Sala 1 shared papers