Rubin, Sasha
- Alternating Tree Automata with Qualitative Semantics
2020/02/10 by Raphaël Berthon, Berthon, Raphaël, Nathanaël Fijalkow +17 · 1 citation
Computer Science · #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Logic in Computer Science (cs.LO) #cs.FL #cs.LO
- LTLf+ and PPLTL+: Extending LTLf and PPLTL to Infinite Traces
2024/11/14 by Benjamin Aminof, Aminof, Benjamin, Giuseppe De Giacomo +5 · 3 citations
Computer Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Logic in Computer Science (cs.LO) #Natural Language Processing Techniques
- Generalized Planning: Non-Deterministic Abstractions and Trajectory Constraints
2019/09/26 by Blai Bonet, Giuseppe De Giacomo, Bonet, Blai +6 · 1 citation
Computer Science · #AI-based Problem Solving and Planning #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #cs.AI #cs.LO
- Reusable Formal Verification of DAG-based Consensus Protocols
2024/07/02 by Bertrand, Nathalie, Ghorpade, Pranav, Rubin, Sasha +2 · 1 citation
#Distributed #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Parallel #Software Engineering (cs.SE) #and Cluster Computing (cs.DC)