Martin Holm Jensen

Publications

Citations

H-Index

2015

Active since

Affiliations

Institut de Recherche en Informatique et Systèmes Aléatoires(Current)

Martin Holm Jensen is an author at Institut de Recherche en Informatique et Systèmes Aléatoires specializing in epistemology, verification, and formal methods.

Top concepts

PlanningEngineeringEpistemologyVerificationTask PlanningFormal MethodsRobot LearningDecision TheoryComputer ScienceAutomated Reasoning

Publications per year

2015–2015

Publications

Complexity results in epistemic planning

Thomas Bolander, Martin Holm Jensen, François Schwarzentruber · Technical University of Denmark, DTU Orbit (Technical University of Denmark, DTU) · 2015 · 45 citations · Full text

Engineering, Verification, Del Model Checking +17

Don't Plan for the Unexpected: Planning Based on Plausibility Models

Mikkel Birkegaard Andersen, Thomas Bolander, Martin Holm Jensen · Technical University of Denmark, DTU Orbit (Technical University of Denmark, DTU) · 2015 · 16 citations · Full text

Rows per page

1–2 of 2