Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Rhudii A. Quaye
Fly-By-Logic: A Tool for Unmanned Aircraft System Fleet Planning Using Temporal Logic
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Proof Planning for First-Order Temporal Logic
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Temporal Logic Motion Planning for Mobile Robots
Linear Temporal Logic-Based Mission Planning
International Journal of Interactive Multimedia and Artificial Intelligence
Temporal Logic Query Checking: A Tool for Model Exploration
IEEE Transactions on Software Engineering
Software
Probabilistic Temporal Logic for Motion Planning With Resource Threshold Constraints
A Tool for Deciding the Satisfiability of Continuous-Time Metric Temporal Logic
Acta Informatica
Computer Networks
Software
Information Systems
Communications
Aeromagnetic Surveying Using a Simulated Unmanned Aircraft System
LITO - A Logic for Indeterminate Temporal Objects
Fingerprints Identification Using a Fuzzy Logic System
International Journal of Computers, Communications and Control
Mathematics
Computer Networks
Computer Science Applications
Computational Theory
Communications
