Yoad Lustig
From MaRDI portal
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Synthesis from recursive-components libraries (available as arXiv preprint) | 2021-03-03 | Paper |
| Synthesis from recursive-components libraries | 2021-03-03 | Paper |
| A modular approach for Büchi determinization | 2017-09-12 | Paper |
| Synthesis from probabilistic components Logical Methods in Computer Science | 2014-07-31 | Paper |
| Supporting SAT based BMC on finite path models | 2013-09-26 | Paper |
| Synthesis from probabilistic components (available as arXiv preprint) | 2012-09-18 | Paper |
| Synthesis from probabilistic components | 2012-09-18 | Paper |
| Temporal synthesis for bounded systems and environments | 2012-01-23 | Paper |
| Rational synthesis Tools and Algorithms for the Construction and Analysis of Systems | 2010-04-27 | Paper |
| Latticed simulation relations and games International Journal of Foundations of Computer Science | 2010-04-22 | Paper |
| Reasoning with temporal logic on truncated paths. Lecture Notes in Computer Science | 2010-04-20 | Paper |
| Synthesis from Component Libraries Foundations of Software Science and Computational Structures | 2009-03-31 | Paper |
| Latticed Simulation Relations and Games Automated Technology for Verification and Analysis | 2008-07-03 | Paper |
| On Locally Checkable Properties Logic for Programming, Artificial Intelligence, and Reasoning | 2008-05-27 | Paper |
| On Verifying Fault Tolerance of Distributed Protocols Tools and Algorithms for the Construction and Analysis of Systems | 2008-04-11 | Paper |
| Lattice Automata Lecture Notes in Computer Science | 2008-04-04 | Paper |
Research outcomes over time
This page was built for person: Yoad Lustig
