The trembling-hand problem for LTLf planning
Consider an agent acting to achieve its temporal goal, but with a "trembling hand". In this case, the agent may mistakenly instruct, with a certain (typically small) probability, actions that are not intended due to faults or imprecision in its action selection mechanism, thereby leading t...
Үндсэн зохиолчид: | Yu, P, Zhu, S, De Giacomo, G, Vardi, M |
---|---|
Формат: | Conference item |
Хэл сонгох: | English |
Хэвлэсэн: |
International Joint Conference on Artificial Intelligence
2024
|
Ижил төстэй зүйлс
Ижил төстэй зүйлс
-
LTLf best-effort synthesis in nondeterministic planning domains
-н: De Giacomo, G, зэрэг
Хэвлэсэн: (2023) -
Symbolic LTLf best-effort synthesis
-н: De Giacomo, G, зэрэг
Хэвлэсэн: (2023) -
Grounding LTLf specifications in image sequences
-н: Umili, E, зэрэг
Хэвлэсэн: (2023) -
Towards ILP-based LTLf passive learning
-н: Ielo, A, зэрэг
Хэвлэсэн: (2023) -
Composition of stochastic services for LTLf goal specifications
-н: De Giacomo, G, зэрэг
Хэвлэсэн: (2024)