( en | de | ru )

 

Disambiguation of "Rubin, Sasha"

Author of the publication

copydeleteadd this publication to your clipboard
Pure-Past Linear Temporal and Dynamic Logic on Finite Traces.

, , , and . IJCAI, page 4959-4965. ijcai.org, (2020)Survey track.

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Sasha Dehghani

Hans Rubin

Peter Rubin

Helmut Rubin

Grit Rubin

 

Other publications of authors with the same name

Alternating Tree Automata with Qualitative Semantics., , , , , , , , , and . CoRR, (2020)Graded Strategy Logic: Reasoning about Uniqueness of Nash Equilibria., , , and . AAMAS, page 698-706. ACM, (2016)Strategy Logic with Imperfect Information., , , , and . CoRR, (2020)Model-checking graded computation-tree logic with finite path semantics., , , and . Theor. Comput. Sci., (2020)Parameterized Model-checking of Discrete-Timed Networks and Symmetric-Broadcast Systems., , , and . CoRR, (2023)Automatic structures.. Handbook of Automata Theory (II.), European Mathematical Society Publishing House, Zürich, Switzerland, (2021)Model Checking Parameterised Multi-token Systems via the Composition Method., and . IJCAR, volume 9706 of Lecture Notes in Computer Science, page 499-515. Springer, (2016)Towards a Tool for LTL Synthesis with Bounded-Energy Constraints., , , , and . ICTCS, volume 2504 of CEUR Workshop Proceedings, page 229-234. CEUR-WS.org, (2019)Liveness of Parameterized Timed Networks., , , and . ICALP (2), volume 9135 of Lecture Notes in Computer Science, page 375-387. Springer, (2015)Parameterized Model Checking of Rendezvous Systems., , , , and . CONCUR, volume 8704 of Lecture Notes in Computer Science, page 109-124. Springer, (2014)