conftrace_
← Authors

Julien Vianey

1 papers · 2019–2019 · 1 conference · across top CS/AI conferences

Achievements

Jump to papers ↓
🐝 Cross-Pollinator (11)

Conferences

IJCAI (1)

Top co-authors

Andreas Herzig (1) Frédéric Maris (1)

Keywords

model checking (1) pspace completeness (1) dynamic logic (1) parallel planning (1)

Papers

Dynamic logic of parallel propositional assignments and its applications to planning IJCAI 2019