Proving Properties of Continuous Systems: Qualitative Simulation and Temporal Logic
暂无分享,去创建一个
[1] Benjamin Kuipers,et al. The composition and validation of heterogeneous control laws , 1994, Autom..
[2] Giorgio Brajnik,et al. Guiding and refining simulation using temporal logic , 1996, Proceedings Third International Workshop on Temporal Representation and Reasoning (TIME '96).
[3] Boi Faltings,et al. Recent advances in qualitative physics , 1993 .
[4] Benjamin J. Kaipers,et al. Qualitative Simulation , 1989, Artif. Intell..
[5] Farnam Jahanian,et al. A Method for Verifying Properties of Modechart Specifications , 1988, RTSS.
[6] Lyle H. Ungar,et al. Automatic analysis of Monte-Carlo simulations of dynamic chemical plants , 1996 .
[7] Giorgio Brajnik,et al. Temporal Constraints on Trajectories in Qualitative Simulation , 1996 .
[8] Benjamin Kuipers,et al. Reasoning in Logic about Continuous Systems , 1994, KR.
[9] Kees de Koning,et al. Qualitative reasoning: Modeling and simulation with incomplete knowledge , 1996 .
[10] Benjamin Kuipers,et al. Qualitative reasoning: Modeling and simulation with incomplete knowledge , 1994, Autom..
[11] Amir Pnueli,et al. Checking that finite state concurrent programs satisfy their linear specification , 1985, POPL.
[12] E. Allen Emerson,et al. Temporal and Modal Logic , 1991, Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics.
[13] J. Van Leeuwen,et al. Handbook of theoretical computer science - Part A: Algorithms and complexity; Part B: Formal models and semantics , 1990 .
[14] Thomas A. Henzinger,et al. Real-Time Logics: Complexity and Expressiveness , 1993, Inf. Comput..
[15] R. Cleaveland,et al. Eecient On-the-fly Model Checking for Ctl , 1995 .
[16] Barbara Hayes-Roth,et al. Intelligent Control , 1994, Artif. Intell..
[17] E. Clarke,et al. Automatic Veriication of Nite-state Concurrent Systems Using Temporal-logic Speciications. Acm , 1993 .
[18] Manny Rayner,et al. On the Applicability of Nonmonotonic Logic to Formal Reasoning in Continuous Time , 1991, Artif. Intell..
[19] Benjamin Kuipers,et al. Numerical Behavior Envelopes for Qualitative Models , 1993, AAAI.
[20] Girish Bhat,et al. Efficient on-the-fly model checking for CTL , 1995, Proceedings of Tenth Annual IEEE Symposium on Logic in Computer Science.
[21] Simon L. Peyton Jones,et al. Imperative functional programming , 1993, POPL '93.
[22] Benjamin Kuipers,et al. Qualitative Simulation , 1986, Artificial Intelligence.
[23] Edmund M. Clarke,et al. Automatic verification of sequential control systems using temporal logic , 1992 .
[24] Benjamin Kuipers,et al. Using Incomplete Quantitative Knowledge In Qualitative Reasoning , 1988, AAAI.