Moshe Y. Vardi
- An automata-theoretic approach to branching-time model checking
2000/03/01 by Orna Kupferman, Moshe Y. Vardi, Pierre Wolper · 12 citations
Computer Science · Chemistry · #Formal Methods in Verification #Synthetic Organic Chemistry Methods #Software Testing and Debugging Techniques
- Reasoning About Strategies: On the Model-Checking Problem
2011/12/29 by Fabio Mogavero, Aniello Murano, Mogavero, Fabio +5 · 7 citations
Computer Science · #03B60 #68Q60 (Primary) 03B70 (Secondary) 03B44 #F.3.1 #F.4.1 #FOS: Computer and information sciences #FOS: Mathematics #Formal Methods in Verification #Logic (math.LO) #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #Multiagent Systems (cs.MA)
- Graph Neural Networks Meet Neural-Symbolic Computing: A Survey and\n Perspective
2020/02/29 by Luís C. Lamb, Artur d’Avila Garcez, Lamb, Luis C. +9 · 9 citations
Computer Science · #Advanced Graph Neural Networks #Neural Networks and Applications #Bayesian Modeling and Causal Inference
- A Scalable Approximate Model Counter
2013/06/24 by Supratik Chakraborty, Kuldeep S. Meel, Chakraborty, Supratik +3 · 6 citations
Computer Science · Mathematics · #Bayesian Modeling and Causal Inference #Markov Chains and Monte Carlo Methods #Machine Learning and Algorithms
- Complete Axiomatizations for Reasoning About Knowledge and Time
2002/08/20 by Joseph Y. Halpern, Halpern, Joseph Y., Ron van der Meyden +3 · 3 citations
Computer Science · #Artificial Intelligence (cs.AI) #F.4.1 #FOS: Computer and information sciences #I.2.4 #Logic in Computer Science (cs.LO) #cs.AI #cs.LO
- Learning to Solve NP-Complete Problems - A Graph Neural Network for\n Decision TSP
2018/09/07 by Marcelo Prates, Prates, Marcelo O. R., Pedro H. C. Avelar +7 · 3 citations
Computer Science · #Advanced Graph Neural Networks #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Machine Learning (stat.ML) #Machine Learning and Algorithms #Metaheuristic Optimization Algorithms Research #Neural and Evolutionary Computing (cs.NE)
- Hybrid Compositional Reasoning for Reactive Synthesis from\n Finite-Horizon Specifications
2019/11/19 by Suguman Bansal, Yong Li, Bansal, Suguman +5 · 3 citations
Computer Science · Engineering · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Formal Methods in Verification #Fuel Cells and Related Materials #Logic in Computer Science (cs.LO) #Software Testing and Debugging Techniques
- DPMC: Weighted Model Counting by Dynamic Programming on Project-Join\n Trees
2020/08/19 by Jeffrey M. Dudek, Dudek, Jeffrey M., Vu H. N. Phan +3 · 3 citations
Computer Science · #Artificial Intelligence (cs.AI) #Bayesian Modeling and Causal Inference #Constraint Satisfaction and Optimization #Data Structures and Algorithms (cs.DS) #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO)
- A Symbolic Approach to Safety LTL Synthesis
2017/09/21 by Shufang Zhu, Lucas M. Tabajara, Zhu, Shufang +7 · 2 citations
Computer Science · #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Model-Driven Software Engineering Techniques #Software Testing and Debugging Techniques
- Synthesis from Knowledge-Based Specifications
2013/07/24 by Ron van der Meyden, Moshe Y. Vardi, van der Meyden, Ron +1 · 1 citation
Computer Science · #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Machine Learning and Algorithms #Software Reliability and Analysis Research
- On Continuous Local BDD-Based Search for Hybrid SAT Solving
2020/12/14 by Anastasios Kyrillidis, Kyrillidis, Anastasios, Moshe Y. Vardi +3 · 1 citation
Computer Science · #Artificial Intelligence (cs.AI) #Bayesian Modeling and Causal Inference #Constraint Satisfaction and Optimization #FOS: Computer and information sciences #FOS: Mathematics #Formal Methods in Verification #Information Theory (cs.IT) #Logic in Computer Science (cs.LO) #Machine Learning (cs.LG) #Optimization and Control (math.OC)
- Stochastic Games for Interactive Manipulation Domains
2024/03/07 by Karan Muvvala, Andrew M. Wells, Muvvala, Karan +7 · 1 citation
Computer Science · #Artificial Intelligence in Games #Computability, Logic, AI Algorithms
- LTLf+ and PPLTL+: Extending LTLf and PPLTL to Infinite Traces
2024/11/14 by Benjamin Aminof, Giuseppe De Giacomo, Aminof, Benjamin +5 · 1 citation
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