Trustworthy Intelligent Systems
Home
Members
Research
Publications
Projects
Teaching
Discrete Mathematics
Formal Methods
Reinforcement Learning
Algorithms Design and Analysis
Contacts
Sino-Europe Institute
Details for the publication DeGiacomoLSWY25.
Giuseppe De Giacomo,
Yong Li
, Sven Schewe
(
)
, Christoph Weinhuber, Pian Yu
:
Solving MDPs with LTLf+ and PPLTL+ Temporal Objectives
. In
IJCAI 2025
, 2025.
URL
BIB