Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Pierluigi San Pietro
A Tool for Deciding the Satisfiability of Continuous-Time Metric Temporal Logic
Acta Informatica
Computer Networks
Software
Information Systems
Communications
Deque Languages, Automata and Planar Graphs
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Active Monitoring Using Real-Time Metric Linear Temporal Logic Specifications
Temporal Logic Query Checking: A Tool for Model Exploration
IEEE Transactions on Software Engineering
Software
A Resolution Calculus for the Branching-Time Temporal Logic CTL
ACM Transactions on Computational Logic
Computational Mathematics
Theoretical Computer Science
Computer Science
Logic
Alternating-Time Temporal Logic
Computer Standards and Interfaces
Hardware
Law
Architecture
Software
Fly-By-Logic: A Tool for Unmanned Aircraft System Fleet Planning Using Temporal Logic
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Regular Linear-Time Temporal Logic
Temporal Super-Resolution for Time Domain Continuous Imaging
Electronic Imaging
Sampling-Based Stochastic Optimal Control With Metric Interval Temporal Logic Specifications
Continuous Time Filter Design Using Stochastic Logic
