CompBio & Bioinf @ UniUd
CompBio & Bioinf @ UniUd
Home
Members
Events
Projects
Software
Publications
Contact
Light
Dark
Automatic
Gigante Nicola
Latest
Decidability and Complexity of Action-Based Temporal Planning over Dense Time
Reactive Synthesis from Extended Bounded Response LTL Specifications
A SAT-Based Encoding of the One-Pass and Tree-Shaped Tableau System for LTL
A game-theoretic approach to timeline-based planning with uncertainty
One-pass and tree-shaped tableau systems for TPTL and TPTLb+past
Bounded Timed Propositional Temporal Logic with past captures timeline-based planning with bounded constraints
Complexity of timeline-based planning
A New Tableau-based Satisfiability Checker for Linear Temporal Logic
Leviathan: A New LTL Satisfiability Checking Tool Based on a One-Pass Tree-Shaped Tableau
Timelines Are Expressive Enough to Capture Action-Based Temporal Planning
Average Linear Time and Compressed Space Construction of the Burrows-Wheeler Transform
Planning basato su timeline: espressività e complessità
Cite
×