I agree that this site is using cookies. You can find further informations here.
X
Vardi, Moshe Y.
106  results:
Bookchapter (Online) X
Search for persons X
?
1

Compositional Safety LTL Synthesis:

, In: Lecture Notes in Computer Science; Verified Software. Theories, Tools and Experiments.,
Bansal, Suguman ; De Giacomo, Giuseppe ; Di Stasio, Antonio... - p. 1-19 , 2023
Link: https://doi.org/10.1007/..
 
?
2

Extracting generalizable skills from a single plan executio..:

, In: 2023 IEEE International Conference on Robotics and Automation (ICRA),
Elimelech, Khen ; Kavraki, Lydia E. ; Vardi, Moshe Y. - p. 5772-5778 , 2023
Link: https://doi.org/10.1109/..
 
?
3

Resilience: The Key to Planetary and Societal Sustainabilit:

, In: Introduction to Digital Humanism,
Vardi, Moshe Y. - p. 373-382 , 2023
Link: https://doi.org/10.1007/..
 
?
4

Model Checking Strategies from Synthesis over Finite Traces:

, In: Automated Technology for Verification and Analysis; Lecture Notes in Computer Science,
Bansal, Suguman ; Li, Yong ; Tabajara, Lucas M... - p. 227-247 , 2023
Link: https://doi.org/10.1007/..
 
?
5

Model-Guided Synthesis for LTL over Finite Traces:

, In: Lecture Notes in Computer Science; Verification, Model Checking, and Abstract Interpretation,
Xiao, Shengping ; Li, Yongkang ; Huang, Xinyue... - p. 186-207 , 2023
Link: https://doi.org/10.1007/..
 
?
6

Efficient Task Planning Using Abstract Skills and Dynamic R..:

, In: Springer Proceedings in Advanced Robotics; Robotics Research,
Elimelech, Khen ; Kavraki, Lydia E. ; Vardi, Moshe Y. - p. 487-503 , 2023
Link: https://doi.org/10.1007/..
 
?
7

How to Be An Ethical Technologist:

, In: Engineering of Computer-Based Systems; Lecture Notes in Computer Science,
Vardi, Moshe Y. - p. 1-6 , 2023
Link: https://doi.org/10.1007/..
 
?
8

Towards a Grand Unification of Büchi Complementation Constr..:

, In: Lecture Notes in Computer Science; Principles of Systems Design,
Vardi, Moshe Y. ; Fogarty, Seth ; Li, Yong. - p. 185-207 , 2022
Link: https://doi.org/10.1007/..
 
?
9

Divide-and-Conquer Determinization of Büchi Automata Based ..:

, In: Computer Aided Verification; Lecture Notes in Computer Science,
Li, Yong ; Turrini, Andrea ; Feng, Weizhi.. - p. 152-173 , 2022
Link: https://doi.org/10.1007/..
 
?
10

Automatic Cross-domain Task Plan Transfer by Caching Abstra..:

, In: Algorithmic Foundations of Robotics XV; Springer Proceedings in Advanced Robotics,
Elimelech, Khen ; Kavraki, Lydia E. ; Vardi, Moshe Y. - p. 470-487 , 2022
Link: https://doi.org/10.1007/..
 
?
11

ZDD Boolean Synthesis:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,
Lin, Yi ; Tabajara, Lucas M. ; Vardi, Moshe Y. - p. 64-83 , 2022
Link: https://doi.org/10.1007/..
 
?
12

Program Verification: a 70+- Year History:

, In: 2021 International Symposium on Theoretical Aspects of Software Engineering (TASE),
Vardi, Moshe Y. - p. 1-2 , 2021
Link: https://doi.org/10.1109/..
 
?
13

Congruence Relations for Büchi Automata:

, In: Formal Methods; Lecture Notes in Computer Science,
Li, Yong ; Tsay, Yih-Kuen ; Turrini, Andrea.. - p. 465-482 , 2021
Link: https://doi.org/10.1007/..
 
?
14

Adapting Behaviors via Reactive Synthesis:

, In: Computer Aided Verification; Lecture Notes in Computer Science,
Amram, Gal ; Bansal, Suguman ; Fried, Dror... - p. 870-893 , 2021
Link: https://doi.org/10.1007/..
 
?
15

Nash Equilibria in Finite-Horizon Multiagent Concurrent Gam..:

, In: Proceedings of the 20th International Conference on Autonomous Agents and MultiAgent Systems,
Rajasekaran, Senthil ; Vardi, Moshe Y. - p. 1046-1054 , 2021
Link: https://dl.acm.org/doi/1..
 
1-15