Counterfactual computational vehicles of consciousness Ron Chrisley COGS/Dept. of Informatics University of Sussex Toward a Science of Consciousness, Tucson.
althoff (2013) Formal Verification of Cyberphysical Systems
1 Formal Models for Stability Analysis : Verifying Average Dwell Time * Sayan Mitra MIT,CSAIL [email protected] Research Qualifying Exam 20 th December.
1 Verification and Synthesis of Hybrid Systems Thao Dang October 10, 2000.
Controller Synthesis for Discrete and Timed Systems Stavros Trypakis (joint work with Karine Altisen)
Verification and Synthesis of Hybrid Systems
RMP_v080_p0451
Galactic Radio Science
Hybrid Input/Output Automata: Theory and Applications