


Остановите войну!
for scientists:


default search action
"Planning for Temporally Extended Goals in Pure-Past Linear Temporal Logic: ..."
Giuseppe De Giacomo, Marco Favorito, Francesco Fuggitti (2022)
- Giuseppe De Giacomo, Marco Favorito, Francesco Fuggitti:
Planning for Temporally Extended Goals in Pure-Past Linear Temporal Logic: A Polynomial Reduction to Standard Planning. CoRR abs/2204.09960 (2022)

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.