h1

h2

h3

h4

h5
h6
http://join2-wiki.gsi.de/foswiki/pub/Main/Artwork/join2_logo100x88.png

Strategy Synthesis for First-Order Agent Programs over Finite Traces

;

In
35th Nordic Workshop on Programming Theory (NWPT) : (Extended abstracts) : Copenhagen, November 6 - 8 2024 / Michael Kirkedal Thomsen, Maja Hanne Kirkeby, and Fritz Henglein (eds.), Seiten/Artikel-Nr: 4 Seiten

Konferenz/Event:35. Nordic Workshop on Programming Theory , Copenhagen , Denmark , NWPT , 2024-11-06 - 2024-11-08

Umfang4 Seiten

Online
URL: https://ml.rwth-aachen.de/~till.hofmann/papers/nwpt2025-strategy-synthesis.pdf

Einrichtungen

  1. Lehrstuhl für Maschinelles Lernen und Inferenz (Informatik 6) (122010)
  2. Fachgruppe Informatik (120000)

Projekte

  1. AvH 1228833 - ESP - AHP-KI - Alexander von Humboldt-Professur für Künstliche Intelligenz (1228833 - ESP - AHP-KI) (1228833 - ESP - AHP-KI)
  2. RLeap - From Data-based to Model-based AI: Representation Learning for Planning (885107) (885107)

External link:
Download fulltext
Fulltext

Dokumenttyp
Abstract (Extended abstract)/Contribution to a conference proceedings

Format
online, print

Sprache
English

Interne Identnummern
RWTH-2025-02465
Datensatz-ID: 1006390

Beteiligte Länder
Denmark, Germany

 GO

QR Code for this record

The record appears in these collections:
Document types > Events > Contributions to a conference proceedings
Document types > Presentations > Abstracts
Faculty of Computer Science (Fac.9)
Public records
Publications database
120000
122010
 Record created 2025-03-11, last modified 2025-10-20
Similar records


External link:
Download fulltext
Fulltext
Rate this document:

Rate this document:
1
2
3
4
5
 
(Not yet reviewed)