BZPEER

Drag to move · Scroll or pinch to zoom · Select a node for details

Laura Bozzelli

Researcher

PaperA quantitative extension of Interval Temporal Logic over infinite wordsAuthorship / preprint / 2022 PaperExpressiveness and Decidability of Temporal Logics for Asynchronous HyperpropertiesAuthorship / preprint / 2022 PaperNew results on pushdown module checking with imperfect informationAuthorship / preprint / 2011 PaperVerification of recursive parallel systemsAuthorship / preprint / 2003 PaperUnifying Hyper and Epistemic Temporal LogicAuthorship / preprint / 2014 PaperOn the complexity of Temporal Equilibrium LogicAuthorship / preprint / 2015 PaperModel Checking the Logic of Allen's Relations Meets and Started-by is $P^NP$ -CompleteAuthorship / preprint / 2016 PaperOpacity Issues in Games with Imperfect InformationAuthorship / preprint / 2011