Finite LTL Synthesis with Environment Assumptions and Quality Measures

Alberto Camacho 1 Meghyn Bienvenu 2 Sheila Mcilraith 1
2 GRAPHIK - Graphs for Inferences on Knowledge
LIRMM - Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier, CRISAM - Inria Sophia Antipolis - Méditerranée
Abstract : In this paper, we investigate the problem of synthesizing strategies for linear temporal logic (LTL) specifications that are interpreted over finite traces - a problem that is central to the automated construction of controllers, robot programs, and business processes. We study a natural variant of the finite LTL synthesis problem in which strategy guarantees are predicated on specified environment behavior. We further explore a quantitative extension of LTL that supports specification of quality measures, utilizing it to synthesize high-quality strategies. We propose new notions of optimality and associated algorithms that yield strategies that best satisfy specified quality measures. Our algorithms utilize an automata-game approach, positioning them well for future implementation via existing state-of-the-art techniques.
Type de document :
Communication dans un congrès
KR: Knowledge Representation and Reasoning, Oct 2018, Tempe, United States. 16th International Conference on Principles of Knowledge Representation and Reasoning, 2018, KR 2018. 〈http://reasoning.eas.asu.edu/kr2018/〉
Liste complète des métadonnées

Littérature citée [5 références]  Voir  Masquer  Télécharger

https://hal-lirmm.ccsd.cnrs.fr/lirmm-01892548
Contributeur : Meghyn Bienvenu <>
Soumis le : mercredi 10 octobre 2018 - 16:26:34
Dernière modification le : jeudi 11 octobre 2018 - 01:19:40

Fichier

CamBieMci-KR18-long.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : lirmm-01892548, version 1
  • ARXIV : 1808.10831

Collections

Citation

Alberto Camacho, Meghyn Bienvenu, Sheila Mcilraith. Finite LTL Synthesis with Environment Assumptions and Quality Measures. KR: Knowledge Representation and Reasoning, Oct 2018, Tempe, United States. 16th International Conference on Principles of Knowledge Representation and Reasoning, 2018, KR 2018. 〈http://reasoning.eas.asu.edu/kr2018/〉. 〈lirmm-01892548〉

Partager

Métriques

Consultations de la notice

117

Téléchargements de fichiers

16