Moshe Y. Vardi
22 papers · 2013–2025 · 2 venues · across top CS/AI venues
This profile combines several different researchers. Authors are keyed by name, and this name's papers fall into 7 separate collaboration groups - the largest holds only 36% of them. Pick the group below that matches the researcher you mean. How a shared name is split.
Achievements are not shown for a combined profile - each one describes a single researcher's record, which this is not.
Which Moshe Y. Vardi?
4 groups of papers that share co-authors internally but none with each other - each most likely a different researcher. Pick one to see its papers.
with Giuseppe De Giacomo, Jianwen Li, Geguang Pu
8 papers
· 2013–2025
· AAAI, IJCAI
Hide ▲
LTLf Synthesis Under Unreliable Input
AAAI 2025
LTLf+ and PPLTL+: Extending LTLf and PPLTL to Infinite Traces
IJCAI 2025
LTLf Synthesis as AND-OR Graph Search: Knowledge Compilation at Work
IJCAI 2022
LTLƒ Synthesis with Fairness and Stability Assumptions
AAAI 2020
SAT-Based Explicit LTLf Satisfiability Checking
AAAI 2019
Unbounded Orchestrations of Transducers for Manufacturing
AAAI 2019
Symbolic LTLf Synthesis
IJCAI 2017
Linear Temporal Logic and Linear Dynamic Logic on Finite Traces
IJCAI 2013