Filters








2 Hits in 0.91 sec

Bouncing threads for infinitary and circular proofs [article]

David Baelde, Amina Doumane, Denis Kuperberg, Alexis Saurin
2020 arXiv   pre-print
We generalize the validity criterion for the infinitary proof system of the multiplicative additive linear logic with fixed points. Our criterion is designed to take into account axioms and cuts.  ...  In 25th EACSL Annual Conference on Computer Science Logic, CSL 2016, August 29 -September 1, 2016, Marseille, France (LIPIcs), Vol. 62.  ...  In Computer Science Logic 2013 (CSL 2013), CSL 2013, September 2-5, 2013, Torino, Italy (LIPIcs), Simona Ronchi Della Rocca (Ed.), Vol. 23.  ... 
arXiv:2005.08257v1 fatcat:gz4lagrsqjectndrd2plvnpege

Maximum Realizability for Linear Temporal Logic Specifications [article]

Rayna Dimitrova, Mahsa Ghasemi, Ufuk Topcu
2018 arXiv   pre-print
We evaluate our algorithm on scenarios from robotics and power distribution networks.  ...  Automatic synthesis from linear temporal logic (LTL) specifications is widely used in robotic motion planning, control of autonomous systems, and load distribution in power networks.  ...  Annual Conference on Computer Science Logic, CSL 2016, August 29 -September 1, 2016, Marseille, France, volume 62 of LIPIcs, pages 10:1-10:21.  ... 
arXiv:1804.00415v1 fatcat:ofmete4uord3rnf5krtccp6b7y