KR2020Proceedings of the 17th International Conference on Principles of Knowledge Representation and ReasoningProceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning

Rhodes, Greece. September 12-18, 2020.

Edited by
  1. Diego Calvanese
  2. Esra Erdem
  3. Michael Thielscher

ISSN: 2334-1033
ISBN: 978-0-9992411-7-2

Sponsored by
Published by

Copyright © 2020 International Joint Conferences on Artificial Intelligence Organization

Two-Stage Technique for LTLf Synthesis Under LTL Assumptions

  1. Giuseppe De Giacomo(University of Rome "La Sapienza")
  2. Antonio Di Stasio(University of Rome "La Sapienza")
  3. Moshe Y. Vardi(Rice University)
  4. Shufang Zhu(University of Rome "La Sapienza", Shanghai Industrial Control Safety Innovation Technology Co)

Bibtex record

@inproceedings{KR2020-31,
    title     = {{Two-Stage Technique for LTLf Synthesis Under LTL Assumptions}},
    author    = {De Giacomo, Giuseppe and Di Stasio, Antonio and Vardi, Moshe Y. and Zhu, Shufang},
    booktitle = {{Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning}},
    pages     = {304--314},
    year      = {2020},
    month     = {9},
    doi       = {10.24963/kr.2020/31},
    url       = {https://doi.org/10.24963/kr.2020/31},
  }
Go back