Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page
EDBT 2026 Demo / reviewers in the wild / expert

Apollo S. Oikonomopoulos

dblp:68/7140 · DBLP profile ↗
← Back
1ranked-venue papers
1as first author
0since 2021 · last 2009
—ORCID · none

Domains — the database's venue-derived domains; a paper can count in several

Artificial intelligence and machine learning · 1 · 1 first-authorSystems, architecture and hardware · 1 · 1 first-author

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Artificial intelligence
1 paper
Multi-agent systems · 100%
Theoretical computer science
1 paper
Automated reasoning and model checking · 100%

Topics — the 2 heaviest of 2, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Knowledge, reasoning and agents › Multi-agent systems
multi-agent coordination		 0.112009
Coordination of multiple non-holonomic agents with input constraints · ICRA 2009
Automated reasoning and model checking › model checking
counterexample generation		 0.012009
Coordination of multiple non-holonomic agents with input constraints · ICRA 2009

Methods — techniques the papers use, named apart from their topics

trajectory generation · 0.2model checking · 0.2
YearPublicationVenuePosition
2009 Coordination of multiple non-holonomic agents with input constraints
abstract
In this paper we present a multi-agent coordination algorithm suitable for systems with aircraft-like kinematic constraints. A model of a system of input-constrained non-holonomic agents is constructed, suitable for use with formal verification tools. The agents considered are uniform and have bounded velocities and limited turning capabilities. We demonstrate how a model checker can be used to generate a counterexample trace for such a system, usable as a trajectory that satisfies our safety and liveness requirements.
Apollo S. Oikonomopoulos, Savvas G. Loizou, Kostas J. Kyriakopoulos
 ICRA1