Moshe Y. Vardi

Rice University , USA

19 papers in the IJCAI proceedings

IJCAI 2025

LTLf+ and PPLTL+: Extending LTLf and PPLTL to Infinite Traces

with Benjamin Aminof, Giuseppe De Giacomo, Sasha Rubin

doi:10.24963/ijcai.2025/939

Details PDF

IJCAI 2023

Multi-Agent Systems with Quantitative Satisficing Goals

with Senthil Rajasekaran, Suguman Bansal

doi:10.24963/ijcai.2023/32

Details PDF

Solving Quantum-Inspired Perfect Matching Problems via Tutte-Theorem-Based Hybrid Boolean Constraints

with Zhiwei Zhang

doi:10.24963/ijcai.2023/227

Details PDF

IJCAI 2022

DPSampler: Exact Weighted Sampling Using Dynamic Programming

with Jeffrey M. Dudek, Aditya A. Shrotri

doi:10.24963/ijcai.2022/250

Details PDF

LTLf Synthesis as AND-OR Graph Search: Knowledge Compilation at Work

with Giuseppe De Giacomo, Marco Favorito, Jianwen Li, Shengping Xiao, Shufang Zhu

doi:10.24963/ijcai.2022/359

Details PDF

IJCAI 2021

Synthesizing Good-Enough Strategies for LTLf Specifications

with Yong Li, Andrea Turrini, Lijun Zhang

doi:10.24963/ijcai.2021/570

Details PDF

IJCAI 2020

Graph Neural Networks Meet Neural-Symbolic Computing: A Survey and Perspective

with Luís C. Lamb, Artur d’Avila Garcez, Marco Gori, Marcelo O.R. Prates, Pedro H.C. Avelar

doi:10.24963/ijcai.2020/679

Details PDF

IJCAI 2019

Not All FPRASs are Equal: Demystifying FPRASs for DNF-Counting (Extended Abstract)

with Kuldeep S. Meel, Aditya A. Shrotri

doi:10.24963/ijcai.2019/865

Details PDF

Partitioning Techniques in LTLf Synthesis

with Lucas Martinelli Tabajara

doi:10.24963/ijcai.2019/777

Details PDF

IJCAI 2017

Symbolic LTLf Synthesis

with Shufang Zhu, Lucas M. Tabajara, Jianwen Li, Geguang Pu

doi:10.24963/ijcai.2017/189

Details PDF

The Hard Problems Are Almost Everywhere For Random CNF-XOR Formulas

with Jeffrey M. Dudek, Kuldeep S. Meel

doi:10.24963/ijcai.2017/84

Details PDF

IJCAI 2016

Algorithmic Improvements in Approximate Counting for Probabilistic Inference: From Linear to Logarithmic SAT Calls

with Supratik Chakraborty, Kuldeep S. Meel

Details PDF

Combining the k-CNF and XOR Phase-Transitions

with Jeffrey M. Dudek, Kuldeep S. Meel

Details PDF

LTLf and LDLf Synthesis under Partial Observability

with Giuseppe De Giacomo

Details PDF

IJCAI 2015

From Weighted to Unweighted Model Counting

with Supratik Chakraborty, Dror Fried, Kuldeep S. Meel

Details PDF

Synthesis for LTL and LDL on Finite Traces

with Giuseppe De Giacomo

Details PDF

IJCAI 2013

Linear Temporal Logic and Linear Dynamic Logic on Finite Traces

with Giuseppe De Giacomo

Details PDF

IJCAI 2003

Automated Verification: Graphs, Logic, and Automata

Details PDF

IJCAI 1985

A Model-Theoretic Analysis of Monotonic Knowledge

Details PDF