Tobias John

According to our database, Tobias John authored at least 6 papers between 2021 and 2023.

Collaborative distances:

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

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