Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Alan Lindsay
Improving Planning Performance in PDDL+ Domains via Automated Predicate Reformulation
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Locating Faults Through Automated Predicate Switching
Real--Time UAV Maneuvering via Automated Planning in Simulations
VAL: Automatic Plan Validation, Continuous Effects and Mixed Initiative Planning Using PDDL
A General Approach to Exploit Model Predictive Control for Guiding Automated Planning Search in Hybrid Domains
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Reachability Analysis of Hybrid Systems via Predicate Abstraction
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Improved Dual System ABE in Prime-Order Groups via Predicate Encodings
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Efficient Weighted Model Integration via SMT-Based Predicate Abstraction
Improving Planning Reliability and Project Performance Using the Reliable Commitment Model
Journal of Construction Engineering and Management - ASCE
Building
Industrial Relations
Management
Civil
Structural Engineering
Strategy
Construction
Automated Planning and Scheduling
Intelligenza Artificiale
Artificial Intelligence
