@inproceedings{conf/aaai/PinchinatRS22,
  added-at = {2023-10-21T00:00:00.000+0200},
  author = {Pinchinat, Sophie and Rubin, Sasha and Schwarzentruber, François},
  biburl = {https://www.bibsonomy.org/bibtex/24b9f3b37a9b6ab1c8fa8ea19ac7eabd2/dblp},
  booktitle = {AAAI},
  crossref = {conf/aaai/2022},
  ee = {https://www.wikidata.org/entity/Q113739706},
  interhash = {667d2d0cb34909f3f9bf1e017d91265a},
  intrahash = {4b9f3b37a9b6ab1c8fa8ea19ac7eabd2},
  isbn = {978-1-57735-876-3},
  keywords = {dblp},
  pages = {9902-9909},
  publisher = {AAAI Press},
  timestamp = {2024-04-09T18:12:25.000+0200},
  title = {Formula Synthesis in Propositional Dynamic Logic with Shuffle.},
  url = {http://dblp.uni-trier.de/db/conf/aaai/aaai2022.html#PinchinatRS22},
  year = 2022
}

{"_id":"GJARSvvfqJbL5Ywgg","bibbaseid":"pinchinat-rubin-schwarzentruber-formulasynthesisinpropositionaldynamiclogicwithshuffle-2022","author_short":["Pinchinat, S.","Rubin, S.","Schwarzentruber, F."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","added-at":"2023-10-21T00:00:00.000+0200","author":[{"propositions":[],"lastnames":["Pinchinat"],"firstnames":["Sophie"],"suffixes":[]},{"propositions":[],"lastnames":["Rubin"],"firstnames":["Sasha"],"suffixes":[]},{"propositions":[],"lastnames":["Schwarzentruber"],"firstnames":["François"],"suffixes":[]}],"biburl":"https://www.bibsonomy.org/bibtex/24b9f3b37a9b6ab1c8fa8ea19ac7eabd2/dblp","booktitle":"AAAI","crossref":"conf/aaai/2022","ee":"https://www.wikidata.org/entity/Q113739706","interhash":"667d2d0cb34909f3f9bf1e017d91265a","intrahash":"4b9f3b37a9b6ab1c8fa8ea19ac7eabd2","isbn":"978-1-57735-876-3","keywords":"dblp","pages":"9902-9909","publisher":"AAAI Press","timestamp":"2024-04-09T18:12:25.000+0200","title":"Formula Synthesis in Propositional Dynamic Logic with Shuffle.","url":"http://dblp.uni-trier.de/db/conf/aaai/aaai2022.html#PinchinatRS22","year":"2022","bibtex":"@inproceedings{conf/aaai/PinchinatRS22,\n added-at = {2023-10-21T00:00:00.000+0200},\n author = {Pinchinat, Sophie and Rubin, Sasha and Schwarzentruber, François},\n biburl = {https://www.bibsonomy.org/bibtex/24b9f3b37a9b6ab1c8fa8ea19ac7eabd2/dblp},\n booktitle = {AAAI},\n crossref = {conf/aaai/2022},\n ee = {https://www.wikidata.org/entity/Q113739706},\n interhash = {667d2d0cb34909f3f9bf1e017d91265a},\n intrahash = {4b9f3b37a9b6ab1c8fa8ea19ac7eabd2},\n isbn = {978-1-57735-876-3},\n keywords = {dblp},\n pages = {9902-9909},\n publisher = {AAAI Press},\n timestamp = {2024-04-09T18:12:25.000+0200},\n title = {Formula Synthesis in Propositional Dynamic Logic with Shuffle.},\n url = {http://dblp.uni-trier.de/db/conf/aaai/aaai2022.html#PinchinatRS22},\n year = 2022\n}\n\n","author_short":["Pinchinat, S.","Rubin, S.","Schwarzentruber, F."],"key":"conf/aaai/PinchinatRS22","id":"conf/aaai/PinchinatRS22","bibbaseid":"pinchinat-rubin-schwarzentruber-formulasynthesisinpropositionaldynamiclogicwithshuffle-2022","role":"author","urls":{"Link":"https://www.wikidata.org/entity/Q113739706","Paper":"http://dblp.uni-trier.de/db/conf/aaai/aaai2022.html#PinchinatRS22"},"keyword":["dblp"],"metadata":{"authorlinks":{}},"downloads":0,"html":""},"bibtype":"inproceedings","biburl":"http://www.bibsonomy.org/bib/author/Rubin?items=1000","dataSources":["74JLffDBQLjrojguT"],"keywords":["dblp"],"search_terms":["formula","synthesis","propositional","dynamic","logic","shuffle","pinchinat","rubin","schwarzentruber"],"title":"Formula Synthesis in Propositional Dynamic Logic with Shuffle.","year":2022}