Strategy Synthesis for First-Order Agent Programs over Finite Traces. Hofmann, T. & Claßen, J. In Proceedings of the 35th Nordic Workshop on Programming Theory (NWPT), 2024.
![Strategy Synthesis for First-Order Agent Programs over Finite Traces [pdf]](https://bibbase.org/img/filetypes/pdf.svg "pdf")
Paper Slides bibtex 12 downloads
Paper Slides bibtex 12 downloads @inproceedings{hofmannStrategySynthesisFirstorder2024,
entrysubtype = {workshop},
title = {Strategy Synthesis for First-Order Agent Programs over Finite Traces},
booktitle = {Proceedings of the 35th {{Nordic Workshop}} on {{Programming Theory}} ({{NWPT}})},
author = {Hofmann, Till and Cla{\ss}en, Jens},
year = {2024},
url = {https://ml.rwth-aachen.de/~till.hofmann/papers/nwpt2025-strategy-synthesis.pdf},
url_Slides = {https://ml.rwth-aachen.de/~till.hofmann/papers/nwpt2025-strategy-synthesis_slides.pdf}
}Downloads: 12
{"_id":"gyZWzREpaf43wNF2X","bibbaseid":"hofmann-claen-strategysynthesisforfirstorderagentprogramsoverfinitetraces-2024","author_short":["Hofmann, T.","Claßen, J."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","entrysubtype":"workshop","title":"Strategy Synthesis for First-Order Agent Programs over Finite Traces","booktitle":"Proceedings of the 35th Nordic Workshop on Programming Theory (NWPT)","author":[{"propositions":[],"lastnames":["Hofmann"],"firstnames":["Till"],"suffixes":[]},{"propositions":[],"lastnames":["Claßen"],"firstnames":["Jens"],"suffixes":[]}],"year":"2024","url":"https://ml.rwth-aachen.de/~till.hofmann/papers/nwpt2025-strategy-synthesis.pdf","url_slides":"https://ml.rwth-aachen.de/~till.hofmann/papers/nwpt2025-strategy-synthesis_slides.pdf","bibtex":"@inproceedings{hofmannStrategySynthesisFirstorder2024,\n entrysubtype = {workshop},\n title = {Strategy Synthesis for First-Order Agent Programs over Finite Traces},\n booktitle = {Proceedings of the 35th {{Nordic Workshop}} on {{Programming Theory}} ({{NWPT}})},\n author = {Hofmann, Till and Cla{\\ss}en, Jens},\n year = {2024},\n url = {https://ml.rwth-aachen.de/~till.hofmann/papers/nwpt2025-strategy-synthesis.pdf},\n url_Slides = {https://ml.rwth-aachen.de/~till.hofmann/papers/nwpt2025-strategy-synthesis_slides.pdf}\n}\n\n","author_short":["Hofmann, T.","Claßen, J."],"key":"hofmannStrategySynthesisFirstorder2024","id":"hofmannStrategySynthesisFirstorder2024","bibbaseid":"hofmann-claen-strategysynthesisforfirstorderagentprogramsoverfinitetraces-2024","role":"author","urls":{"Paper":"https://ml.rwth-aachen.de/~till.hofmann/papers/nwpt2025-strategy-synthesis.pdf"," slides":"https://ml.rwth-aachen.de/~till.hofmann/papers/nwpt2025-strategy-synthesis_slides.pdf"},"metadata":{"authorlinks":{}},"downloads":12},"bibtype":"inproceedings","biburl":"https://ml.rwth-aachen.de/~till.hofmann/files/hofmann.bib","dataSources":["P2RLsqAnkwjGHmpeQ","zp5TdwDdbpGvos9cF"],"keywords":[],"search_terms":["strategy","synthesis","first","order","agent","programs","over","finite","traces","hofmann","claßen"],"title":"Strategy Synthesis for First-Order Agent Programs over Finite Traces","year":2024,"downloads":12}