Tobias John

According to our database, Tobias John authored at least 9 papers between 2021 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Risk-Averse Planning and Plan Assessment for Marine Robots.

Mahya Mohammadi Kashani, Tobias John, Jeremy Coffelt, Einar Broch Johnsen, Andrzej Wasowski

CoRR, 2024

Planning with OWL-DL Ontologies (Extended Version).

Tobias John, Patrick Koopmann

CoRR, 2024

Planning with OWL-DL Ontologies.

Tobias John, Patrick Koopmann

Proceedings of the ECAI 2024 - 27th European Conference on Artificial Intelligence, 19-24 October 2024, Santiago de Compostela, Spain, 2024

2023

Correction to: From Emerson-Lei automata to deterministic, limit-deterministic or good-for-MDP automata.

Tobias John, Simon Jantsch, Christel Baier, Sascha Klüppelholz

Innov. Syst. Softw. Eng., June, 2023

Towards Ontology-Mediated Planning with OWL DL Ontologies (Extended Version).

Tobias John, Patrick Koopmann

CoRR, 2023

Planning with Ontology-Enhanced States using Problem-Dependent Rewritings.

Tobias John, Patrick Koopmann

Proceedings of the 1st International Planning and Ontology Workshop co-located with The 33rd International Conference on Automated Planning and Scheduling (ICAPS 2023), 2023

Towards Ontology-Mediated Planning with OWL DL Ontologies.

Tobias John, Patrick Koopmann

Proceedings of the 36th International Workshop on Description Logics (DL 2023) co-located with the 20th International Conference on Principles of Knowledge Representation and Reasoning and the 21st International Workshop on Non-Monotonic Reasoning (KR 2023 and NMR 2023)., 2023

2022

From Emerson-Lei automata to deterministic, limit-deterministic or good-for-MDP automata.

Tobias John, Simon Jantsch, Christel Baier, Sascha Klüppelholz

Innov. Syst. Softw. Eng., 2022

2021

Determinization and Limit-Determinization of Emerson-Lei Automata.

Tobias John, Simon Jantsch, Christel Baier, Sascha Klüppelholz

Proceedings of the Automated Technology for Verification and Analysis, 2021