Jorge A. Baier
9 papers · 2015–2023 · 2 venues · across top CS/AI venues
Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.
Achievements
Jump to papers ↓+2 more ↓ Show less ↑
🌉 Interdisciplinary Bridge · Silver 🏃 Academic Marathon · Sprint 🗺️ Taxonomy Completionist (13) 🐣 Hot Topic Early Bird 🌍 Conference Polyglot · Bronze
🌈
Renaissance Researcher
(5)
📈
Trend Setter
Top co-authors
Research topics
Keywords
path planning
(2)
linear temporal logic
(2)
pareto optimality
(2)
program synthesis
(2)
combinatorial optimization
(2)
commonsense knowledge
(1)
visual reasoning
(1)
automated reasoning
(1)
formal verification
(1)
action selection
(1)
multi-objective optimization
(1)
answer set programming
(1)
lookahead search
(1)
approximation algorithm
(1)
graph algorithm
(1)
search algorithm
(1)
real-time search
(1)
state pruning
(1)
a* search
(1)
multi-agent path finding
(1)
Papers
Multi-objective Search via Lazy and Efficient Dominance Checks
IJCAI 2023
Subset Approximation of Pareto Regions with Bi-objective A*
AAAI 2022
Solving Sum-of-Costs Multi-Agent Pathfinding with Answer-Set Programming
AAAI 2020
LTL Realizability via Safety and Reachability Games
IJCAI 2018
SynKit: LTL Synthesis as a Service
IJCAI 2018
How a General-Purpose Commonsense Ontology can Improve Performance of Learning-Based Image Retrieval
IJCAI 2017
Online Bridged Pruning for Real-Time Search with Arbitrary Lookaheads
IJCAI 2017
Incomplete Causal Laws in the Situation Calculus Using Free Fluents
IJCAI 2016
Polynomial-Time Reformulations of LTL Temporally Extended Goals into Final-State Goals
IJCAI 2015