CompBio & Bioinf @ UniUd
CompBio & Bioinf @ UniUd
Home
Open Positions
Highlights
Projects
Software
Publications
Members
Contact
Light
Dark
Automatic
A game-theoretic approach to timeline-based planning with uncertainty
Nicola Gigante
,
Angelo Montanari
,
Marta Cialdea Mayer
,
Andrea Orlandini
,
Mark Reynolds
2018-01-01
Cite
DOI
URL
Type
Conference paper
Publication
25th International Symposium on Temporal Representation and Reasoning (TIME 2018)
Decidability; Strategic games; Timeline-based planning with uncertainty; Software
Related
Complexity of timeline-based planning
Timelines Are Expressive Enough to Capture Action-Based Temporal Planning
One-pass and tree-shaped tableau systems for TPTL and TPTLb+past
Leviathan: A New LTL Satisfiability Checking Tool Based on a One-Pass Tree-Shaped Tableau
A New Tableau-based Satisfiability Checker for Linear Temporal Logic
Cite
×