I agree that this site is using cookies. You can find further informations here.
X
Vardi, Moshe Y.
152  results:
OpenAccess-fulltext X
Search for persons X
?
1

Logical Algorithmics: From Theory to Practice (Invited Talk:

Vardi, Moshe Y
Is Part Of LIPIcs, Volume 288, 32nd EACSL Annual Conference on Computer Science Logic (CSL 2024).  , 2024
Link: https://doi.org/10.4230/..
 
?
2

Multi-Agent Systems with Quantitative Satisficing Goals:

Rajasekaran, Senthil ; Bansal, Suguman ; Vardi, Moshe Y
http://arxiv.org/abs/2305.00953.  , 2023
Link: http://arxiv.org/abs/230..
 
?
3

Solving Quantum-Inspired Perfect Matching Problems via Tutt..:

Vardi, Moshe Y ; Zhang, Zhiwei
http://arxiv.org/abs/2301.09833.  , 2023
Link: http://arxiv.org/abs/230..
 
?
4

Logical Algorithmics: From Theory to Practice (Invited Talk:

Vardi, Moshe Y
doi:10.4230/LIPIcs.STACS.2023.3.  , 2023
Link: https://doi.org/10.4230/..
 
?
5

Singly Exponential Translation of Alternating Weak B\"uchi ..:

Li, Yong ; Schewe, Sven ; Vardi, Moshe Y
http://arxiv.org/abs/2305.09966.  , 2023
Link: http://arxiv.org/abs/230..
 
?
6

Model Checking Strategies from Synthesis Over Finite Traces:

Bansal, Suguman ; Li, Yong ; Tabajara, Lucas Martinelli..
http://arxiv.org/abs/2305.08319.  , 2023
Link: http://arxiv.org/abs/230..
 
?
7

DPO: Dynamic-Programming Optimization on Hybrid Constraints:

Phan, Vu H. N ; Vardi, Moshe Y
http://arxiv.org/abs/2205.08632.  , 2022
Link: http://arxiv.org/abs/220..
 
?
8

DPER: Dynamic Programming for Exist-Random Stochastic SAT:

Phan, Vu H. N ; Vardi, Moshe Y
http://arxiv.org/abs/2205.09826.  , 2022
Link: http://arxiv.org/abs/220..
 
?
9

Divide-and-Conquer Determinization of B\"uchi Automata base..:

Li, Yong ; Turrini, Andrea ; Feng, Weizhi..
http://arxiv.org/abs/2206.13739.  , 2022
Link: http://arxiv.org/abs/220..
 
?
10

Comparator automata in quantitative verification:

Vardi, Moshe Y ; Chaudhuri, Swarat ; Bansal, Suguman
Vardi, Moshe Y., Chaudhuri, Swarat and Bansal, Suguman. "Comparator automata in quantitative verification." Logical Methods in Computer Science, 18, no. 3 (2022) EPI Sciences: https://doi.org/10.46298/lmcs-18(3:13)2022..  , 2022
Link: https://hdl.handle.net/1..
 
?
11

Artifact for the CAV'22 paper "Divide-and-Conquer Determini..:

Li, Yong ; Turrini, Andrea ; Feng, Weizhi..
doi:10.5281/zenodo.6526764.  , 2022
Link: https://zenodo.org/recor..
 
?
12

DPMS: An ADD-Based Symbolic Approach for Generalized MaxSAT..:

Kyrillidis, Anastasios ; Vardi, Moshe Y ; Zhang, Zhiwei
http://arxiv.org/abs/2205.03747.  , 2022
Link: http://arxiv.org/abs/220..
 
?
13

Verification and Realizability in Finite-Horizon Multiagent..:

Rajasekaran, Senthil ; Vardi, Moshe Y
http://arxiv.org/abs/2205.01029.  , 2022
Link: http://arxiv.org/abs/220..
 
?
14

Linear Temporal Logic: From Infinite to Finite Horizon (Inv..:

Vardi, Moshe Y
doi:10.4230/LIPIcs.TIME.2022.1.  , 2022
Link: https://doi.org/10.4230/..
 
?
15

Synthesis from Satisficing and Temporal Goals:

Bansal, Suguman ; Kavraki, Lydia ; Vardi, Moshe Y.
http://arxiv.org/abs/2205.10464.  , 2022
Link: http://arxiv.org/abs/220..
 
1-15