Bridging the gap between fair simulation and trace inclusion · Author Picture Yonit Kesten. Department of Communication Systems Engineering, Ben Gurion ...
Yonit Kesten's 38 research works with 1891 citations and 1267 reads, including: Integration Graphs: A Class of Decidable Hybrid Systems.
Apr 25, 2024 · List of computer science publications by Yonit Kesten.
Yonit Kesten. MathSciNet. Ph.D. Weizmann Institute of Science 1995 Israel. Dissertation: Refinement And Verification Of Reactive And Hybrid Systems. Advisor ...
Jul 4, 2022 · Ph.D. Weizmann Institute of Science 1995.
Complete Proof System for QPTL | Journal of Logic and Computation
academic.oup.com › article-abstract
The paper presents an axiomatic system for quantified propositional temporal logic (QPTL), which is propositional temporal logic equipped with quantification ...
Yonit Kesten I and Amir Pnueli 2. 1 Ben Gurion University, ykesten~bgumail, bgu. ac. il,. 2 Weizmann Institute of Science, amir~wisdom.weiz~aanu, ac. il.
The paper presents a compositional approach to the verification of CTL properties over reactive systems. Both symbolic model-checking (SMC) and deductive ...
Lenore D. Zuck, Amir Pnueli, Yonit Kesten: Automatic Verification of Probabilistic Free Choice. VMCAI 2002: 208-224. a service of Schloss Dagstuhl - Leibniz ...