1![HYST: A Source Transformation and Translation Tool for Hybrid Automaton Models Stanley Bak Sergiy Bogomolov HYST: A Source Transformation and Translation Tool for Hybrid Automaton Models Stanley Bak Sergiy Bogomolov](https://www.pdfsearch.io/img/b75dd9ae1c39f49c136cacbff2cdf2b7.jpg) | Add to Reading ListSource URL: www.taylortjohnson.com- Date: 2015-02-25 11:12:28
|
---|
2![Intl. Symposium on Experimental Robotics, JuneLinguistic Composition of Semantic Maps and Hybrid Controllers ? Neil Dantam, Carlos Nieto-Granda, Henrik Christensen, and Mike Stilman Center for Robotics and Intelli Intl. Symposium on Experimental Robotics, JuneLinguistic Composition of Semantic Maps and Hybrid Controllers ? Neil Dantam, Carlos Nieto-Granda, Henrik Christensen, and Mike Stilman Center for Robotics and Intelli](https://www.pdfsearch.io/img/3451ef121e36d52fa23cde31aa04511b.jpg) | Add to Reading ListSource URL: www.neil.dantam.nameLanguage: English - Date: 2016-07-08 17:59:42
|
---|
3![](https://www.pdfsearch.io/img/6dc4af57515d89063cb118bc8568ba2b.jpg) | Add to Reading ListSource URL: www.iaeng.orgLanguage: English - Date: 2010-08-19 01:04:31
|
---|
4![Math.Comput.Sci:71–97 DOIs11786y Mathematics in Computer Science Collaborative Verification-Driven Engineering Math.Comput.Sci:71–97 DOIs11786y Mathematics in Computer Science Collaborative Verification-Driven Engineering](https://www.pdfsearch.io/img/2e87c5a2b91441e426cd47a9192eea91.jpg) | Add to Reading ListSource URL: www.utc.ices.cmu.eduLanguage: English - Date: 2014-10-10 12:15:04
|
---|
5![TECHNISCHE UNIVERSITÄT MÜNCHEN FAKULTÄT FÜR INFORMATIK Software & Systems Engineering Prof. Dr. Dr. h.c. Manfred Broy SPES 2020 Deliverable D1.1.A-2 TECHNISCHE UNIVERSITÄT MÜNCHEN FAKULTÄT FÜR INFORMATIK Software & Systems Engineering Prof. Dr. Dr. h.c. Manfred Broy SPES 2020 Deliverable D1.1.A-2](https://www.pdfsearch.io/img/6352356a7fab9ffcddf7865756b447b9.jpg) | Add to Reading ListSource URL: spes2020.informatik.tu-muenchen.deLanguage: English - Date: 2012-02-20 08:24:13
|
---|
6![The 2016 Alonzo Church Award for Outstanding Contributions to Logic and Computation The 2016 Alonzo Church Award for Outstanding Contributions to Logic and Computation is given to Rajeev Alur and David Dill for their inv The 2016 Alonzo Church Award for Outstanding Contributions to Logic and Computation The 2016 Alonzo Church Award for Outstanding Contributions to Logic and Computation is given to Rajeev Alur and David Dill for their inv](https://www.pdfsearch.io/img/e1ff966c7a2fcdd8ca0abd80de7552b9.jpg) | Add to Reading ListSource URL: eacsl.kahle.chLanguage: English |
---|
7![Verification of Hybrid Systems in Coq H. Geuvers, A. Koprowski, D. Synek, E. van der Weegen BRICKS AFM4 Advancing the Real use of Proof Assistants Foundations group, Intelligent Systems, ICIS Radboud University Nijmegen Verification of Hybrid Systems in Coq H. Geuvers, A. Koprowski, D. Synek, E. van der Weegen BRICKS AFM4 Advancing the Real use of Proof Assistants Foundations group, Intelligent Systems, ICIS Radboud University Nijmegen](https://www.pdfsearch.io/img/4a22c81ab0ba4bf35bae3745332464dc.jpg) | Add to Reading ListSource URL: www.cs.ru.nlLanguage: English - Date: 2009-04-02 18:22:28
|
---|
8![Planning as Model Checking in Hybrid Domains Sergiy Bogomolov Daniele Magazzeni Andreas Podelski Planning as Model Checking in Hybrid Domains Sergiy Bogomolov Daniele Magazzeni Andreas Podelski](https://www.pdfsearch.io/img/ad854487eef7e18a57986883840c07ef.jpg) | Add to Reading ListSource URL: ai.cs.unibas.chLanguage: English - Date: 2014-07-02 05:16:10
|
---|
9![PDDL+ Planning with Hybrid Automata: Foundations of Translating Must Behavior Sergiy Bogomolov Daniele Magazzeni PDDL+ Planning with Hybrid Automata: Foundations of Translating Must Behavior Sergiy Bogomolov Daniele Magazzeni](https://www.pdfsearch.io/img/5c30769e97e07d5368a6290d192f013b.jpg) | Add to Reading ListSource URL: ai.cs.unibas.chLanguage: English - Date: 2015-04-07 08:31:54
|
---|
10![HASL: a New Approach for Performance Evaluation and Model Checking from Concepts to Experimentation Paolo Ballarini, Benoˆıt Barbot, Marie Duflot, Serge HASL: a New Approach for Performance Evaluation and Model Checking from Concepts to Experimentation Paolo Ballarini, Benoˆıt Barbot, Marie Duflot, Serge](https://www.pdfsearch.io/img/3e8cbf33866c25f1052bf4820b3d9eef.jpg) | Add to Reading ListSource URL: www.lsv.ens-cachan.frLanguage: English - Date: 2015-03-25 18:43:01
|
---|