Jorge A. Baier
9 papers · 2015–2023 · 2 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+4 more ↓ Show less ↑
π£ Hot Topic Early Bird π§ Keyword Pioneer π Conference Polyglot (2) π Academic Marathon (8) π Cross-Pollinator (9)
π
Renaissance Researcher
(6)
π
Interdisciplinary Bridge
πΊοΈ
Taxonomy Completionist
(13)
π
Trend Setter
Conferences
IJCAI (7)
AAAI (2)
Top co-authors
Keywords
linear temporal logic
(2)
pareto optimality
(2)
program synthesis
(2)
path planning
(2)
combinatorial optimization
(2)
commonsense knowledge
(1)
visual reasoning
(1)
automated reasoning
(1)
formal verification
(1)
action selection
(1)
multi-objective optimization
(1)
lookahead search
(1)
approximation algorithm
(1)
graph algorithm
(1)
search algorithm
(1)
real-time search
(1)
state pruning
(1)
look-ahead search
(1)
a* search
(1)
multi-agent pathfinding
(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
Online Bridged Pruning for Real-Time Search with Arbitrary Lookaheads
IJCAI 2017
How a General-Purpose Commonsense Ontology can Improve Performance of Learning-Based Image Retrieval
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