-
1
-
-
0003371522
-
The General Topology of Dynamical Systems
-
American Mathematical Society, Providence
-
E. Akin, The General Topology of Dynamical Systems, Graduate Studies in Mathematics 1 (American Mathematical Society, Providence, 1993).
-
(1993)
Graduate Studies in Mathematics
, vol.1
-
-
Akin, E.1
-
2
-
-
0029637354
-
The Algorithmic Analysis of Hybrid Systems
-
R. Alur, C. Courcoubetis, N. Halbwachs, T. A. Henzinger, P.-H. Ho, X. Nicollin, A. Olivero, J. Sifakis and S. Yovine, “The Algorithmic Analysis of Hybrid Systems", Theoretical Computer Science 138 (1995) 3-34.
-
(1995)
Theoretical Computer Science
, vol.138
, pp. 3-34
-
-
Alur, R.1
Courcoubetis, C.2
Halbwachs, N.3
Henzinger, T.A.4
Ho, P.-H.5
Nicollin, X.6
Olivero, A.7
Sifakis, J.8
Yovine, S.9
-
8
-
-
0343242943
-
Reinterpreting the Modal-calculus
-
A. Ponse, M. de Rijke and Y. Venema (eds.), CLSI Publications, Stanford
-
M. M. Bonsangue and M. Z. Kwiatkowska, “Reinterpreting the Modal-calculus", in A. Ponse, M. de Rijke and Y. Venema (eds.), Modal Logic and Process Algebra, CSLI Lecture Notes 53 (CLSI Publications, Stanford, 1995); 65-83.
-
(1995)
Modal Logic and Process Algebra, CSLI Lecture Notes
, vol.53
, pp. 65-83
-
-
Bonsangue, M.M.1
Kwiatkowska, M.Z.2
-
9
-
-
84956861297
-
-
Modal Logic: An Introduction (Cambridge University Press
-
B. F. Chellas, Modal Logic: An Introduction (Cambridge University Press, 1980).
-
(1980)
-
-
Chellas, B.F.1
-
10
-
-
0343242942
-
-
PhD dissertation, Department of Mathematics, Cornell University, January
-
J. M. Davoren, Modal Logics for Continuous Dynamics, PhD dissertation, Department of Mathematics, Cornell University, January 1998.
-
(1998)
Modal Logics for Continuous Dynamics
-
-
Davoren, J.M.1
-
11
-
-
84956864666
-
-
presented at Fixed Points in Computer Science, Brno, August 1998; submitted for publication
-
J. M. Davoren, “Topologies, Continuity and Bisimulations", presented at Fixed Points in Computer Science, Brno, August 1998; submitted for publication.
-
Topologies, Continuity and Bisimulations
-
-
Davoren, J.M.1
-
13
-
-
40149092144
-
The Tool Kronos
-
R. Alur, T. A. Henzinger and E. D. Sontag (eds.), Springer-Verlag, Berlin
-
C. Daws, A. Olivero, S. Tripakis and S. Yovine, “The Tool Kronos", in R. Alur, T. A. Henzinger and E. D. Sontag (eds.), Hybrid Systems III, Lecture Notes in Computer Science 1066 (Springer-Verlag, Berlin, 1996); 208-219.
-
(1996)
Hybrid Systems III, Lecture Notes in Computer Science
, vol.1066
, pp. 208-219
-
-
Daws, C.1
Olivero, A.2
Tripakis, S.3
Yovine, S.4
-
15
-
-
0038103700
-
Modal Checking and the Mu-calculus
-
N. Immerman and P. G. Kolaitis (eds.), American Mathematical Society, Providence
-
E. A. Emerson, “Modal Checking and the Mu-calculus", in N. Immerman and P. G. Kolaitis (eds.), Descriptive Complexity and Finite Models, DIMACS Series in Discrete Mathematics and Theoretical Computer Science 31 (American Mathematical Society, Providence, 1997); 185-208.
-
(1997)
Descriptive Complexity and Finite Models, DIMACS Series in Discrete Mathematics and Theoretical Computer Science
, vol.31
, pp. 185-208
-
-
Emerson, E.A.1
-
16
-
-
0003730235
-
-
MIT Press, Cambridge MA
-
R. Fagin, J. Y. Halpern, Y. Moses and M. Y. Vardi, Reasoning About Knowledge (MIT Press, Cambridge MA, 1995).
-
(1995)
Reasoning about Knowledge
-
-
Fagin, R.1
Halpern, J.Y.2
Moses, Y.3
Vardi, M.Y.4
-
17
-
-
84957627066
-
Robust Timed Automata
-
O. Maler (ed.), Springer-Verlag, Berlin
-
V. Gupta, T. A. Henzinger and R. Jagadeesan, “Robust Timed Automata", in O. Maler (ed.), Hybrid and Real-Time Systems: International Workshop HART'97, March 1997, Lecture Notes in Computer Science 1201 (Springer-Verlag, Berlin, 1997); 331-345.
-
(1997)
Hybrid and Real-Time Systems: International Workshop HART'97, March 1997, Lecture Notes in Computer Science
, vol.1201
, pp. 331-345
-
-
Gupta, V.1
Henzinger, T.A.2
Jagadeesan, R.3
-
18
-
-
0002785435
-
Completeness in the Theory of Types
-
L. Henkin, “Completeness in the Theory of Types", Journal of Symbolic Logic 15 (1950) 81-91.
-
(1950)
Journal of Symbolic Logic
, vol.15
, pp. 81-91
-
-
Henkin, L.1
-
19
-
-
0029701554
-
The Theory of Hybrid Automata
-
IEEE Computer Society Press
-
th An-nual IEEE Symposium on Logic in Computer Science (LICS '96) (IEEE Computer Society Press, 1996); 278-292.
-
(1996)
Proceedings of the 11
, pp. 278-292
-
-
Henzinger, T.A.1
-
20
-
-
25144503812
-
FromPre-historic to Post-modern Symbolic Model Checking
-
Lecture Notes in Computer Science (Springer-Verlag, Berlin
-
T. A. Henzinger, O. Kupferman, and S. Qadeer, “From Pre-historic to Post-modern Symbolic Model Checking", Proceedings of the Tenth International Conference on Computer-aided Verification (CAV 1998), Lecture Notes in Computer Science (Springer-Verlag, Berlin, 1998).
-
(1998)
Proceedings of the Tenth International Conference on Computer-Aided Verification (CAV 1998)
-
-
Henzinger, T.A.1
Kupferman, O.2
Qadeer, S.3
-
21
-
-
21344476382
-
Towards Refining Temporal Specifications into Hybrid Systems
-
R. Grossman et al. (eds.), Springer-Verlag, Berlin
-
T. A. Henzinger, Z. Manna and A. Pnueli, “Towards Refining Temporal Specifications into Hybrid Systems", in R. Grossman et al. (eds.), Hybrid Systems, Lecture Notes in Computer Science 736 (Springer-Verlag, Berlin, 1993), 60-76.
-
(1993)
Hybrid Systems, Lecture Notes in Computer Science
, vol.736
, pp. 60-76
-
-
Henzinger, T.A.1
Manna, Z.2
Pnueli, A.3
-
22
-
-
0004288190
-
-
PhD dissertation, Department of Philosophy, Utrecht University, March
-
M. J. Hollenberg, Logic and Bisimulation, PhD dissertation, Department of Philosophy, Utrecht University, March 1998.
-
(1998)
Logic and Bisimulation
-
-
Hollenberg, M.J.1
-
23
-
-
49049126479
-
Results on the Propositional-Calculus
-
D. Kozen, “Results on the Propositional-Calculus", Theoretical Computer Sci-ence 27 (1983) 333-354.
-
(1983)
Theoretical Computer Sci-Ence
, vol.27
, pp. 333-354
-
-
Kozen, D.1
-
24
-
-
0003391813
-
-
revised edition (Academic Press, New York, 1966). Translated by J. Jaworowski from the French 1958 edition of Topologie, Volume 1, Polska Akademia Nauk Monograé Matematyczne, Tom21 (Pafinstwowe Wydawnictwo Naukowe, Warsaw
-
K. Kuratowski, Topology, Volume 1, revised edition (Academic Press, New York, 1966). Translated by J. Jaworowski from the French 1958 edition of Topologie, Volume 1, Polska Akademia Nauk Monograé Matematyczne, Tom 21 (Pafinstwowe Wydawnictwo Naukowe, Warsaw, 1958).
-
(1958)
Topology
, vol.1
-
-
Kuratowski, K.1
-
25
-
-
84948963145
-
On the expressive completeness of the propositional mu-calculus with respect to monadic second order logic
-
Springer-Verlag, Berlin
-
D. Janin and I. Walukiewicz, “On the expressive completeness of the propositional mu-calculus with respect to monadic second order logic", Proceedings of the Seventh International Conference on Concurrency Theory (CONCUR'96), Lecture Notes in Computer Science 1119 (Springer-Verlag, Berlin, 1996), 263-277.
-
(1996)
Proceedings of the Seventh International Conference on Concurrency Theory (CONCUR'96), Lecture Notes in Computer Science
, vol.1119
, pp. 263-277
-
-
Janin, D.1
Walukiewicz, I.2
-
27
-
-
0343678538
-
-
Technical report UCB/ERL M98/29, Department of Electrical Engineering and Computer Science, University of California at Berkeley
-
G. Laérriere, G. J. Pappas and S. Sastry, “O-Minimal Hybrid Systems", Technical report UCB/ERL M98/29, Department of Electrical Engineering and Computer Science, University of California at Berkeley, May 1998.
-
(1998)
O-Minimal Hybrid Systems
-
-
Laérriere, G.1
Pappas, G.J.2
Sastry, S.3
-
28
-
-
0342373369
-
-
Technical report UCB/ERL M98/39, Department of Electrical Engineering and Computer Science, University of California at Berkeley
-
G. Laérriere, G. J. Pappas and S. Yovine, “Decidable Hybrid Systems", Technical report UCB/ERL M98/39, Department of Electrical Engineering and Computer Science, University of California at Berkeley, June 1998.
-
(1998)
Decidable Hybrid Systems
-
-
Laérriere, G.1
Pappas, G.J.2
Yovine, S.3
-
29
-
-
0002853158
-
Verifying Hybrid Systems
-
R. Grossman et al. (eds.), Springer-Verlag, Berlin
-
Z. Manna and A. Pnueli, “Verifying Hybrid Systems", in R. Grossman et al. (eds.), Hybrid Systems, Lecture Notes in Computer Science 736 (Springer-Verlag, Berlin, 1993), 4-35.
-
(1993)
Hybrid Systems, Lecture Notes in Computer Science
, vol.736
, pp. 4-35
-
-
Manna, Z.1
Pnueli, A.2
-
30
-
-
84956852817
-
Deductive Verification of Hybrid Systems Using STeP
-
T. A. Henzinger and S. Sastry, Springer-Verlag, Berlin
-
Z. Manna and H. B. Simpa, “Deductive Verification of Hybrid Systems Using STeP", in T. A. Henzinger and S. Sastry (eds), Hybrid Systems-Computation and Control: Proceedings of the First International Workshop (HSCC '98), Lecture Notes in Computer Science 1386, (Springer-Verlag, Berlin, 1998).
-
(1998)
Hybrid Systems-Computation and Control: Proceedings of the First International Workshop (HSCC '98), Lecture Notes in Computer Science
, pp. 1386
-
-
Manna, Z.1
Simpa, H.B.2
-
31
-
-
0000432049
-
A Solution of the Decision Problem for the Lewis Systems S2 and S4, with an Application to Topology
-
J. C. C. McKinsey, “A Solution of the Decision Problem for the Lewis Systems S2 and S4, with an Application to Topology", Journal of Symbolic Logic 6 (1941) 117-134.
-
(1941)
Journal of Symbolic Logic
, vol.6
, pp. 117-134
-
-
McKinsey, J.C.C.1
-
34
-
-
0000870565
-
Models for Hybrid Systems: Automata, Topologies, Controllability, Observability
-
R. Grossman et al. (eds.), Springer-Verlag, Berlin
-
A. Nerode and W. Kohn, “Models for Hybrid Systems: Automata, Topologies, Controllability, Observability", in R. Grossman et al. (eds.), Hybrid Systems, Lecture Notes in Computer Science 736 (Springer-Verlag, Berlin, 1993), 297-316.
-
(1993)
Hybrid Systems, Lecture Notes in Computer Science
, vol.736
, pp. 297-316
-
-
Nerode, A.1
Kohn, W.2
-
35
-
-
0013413537
-
-
2nd ed.), Graduate Texts in Computer Science (Springer-Verlag, Berlin
-
A. Nerode and R. Shore, Logic for Applications (2nd ed.), Graduate Texts in Computer Science (Springer-Verlag, Berlin, 1997).
-
(1997)
Logic for Applications
-
-
Nerode, A.1
Shore, R.2
-
36
-
-
84956861682
-
-
Pafinstwowe Wydawnictwo Naukowe, Warsaw
-
H. Rasiowa and R. Sikorski, The Mathematics of Metamathematics, Polska Akademia Nauk Monograé Matematyczne, Tom 41 (Pafinstwowe Wydawnictwo Naukowe, Warsaw, 1963).
-
(1963)
The Mathematics of Metamathematics, Polska Akademia Nauk Monograé Matematyczne
, vol.41
-
-
Rasiowa, H.1
Sikorski, R.2
-
37
-
-
0029410050
-
Semi-metrics, closure spaces and digital topology
-
M. B. Smyth, “Semi-metrics, closure spaces and digital topology", Theoretical Computer Science 151 (1995) 257-276.
-
(1995)
Theoretical Computer Science
, vol.151
, pp. 257-276
-
-
Smyth, M.B.1
-
38
-
-
0000832186
-
Modal and Temporal Logics
-
S. Abramsky, D. M. Gabbay and T. Maibaum (eds.), Computational Structures (Oxford University Press, Clarendon Press, Oxford
-
C. Stirling, “Modal and Temporal Logics", in S. Abramsky, D. M. Gabbay and T. Maibaum (eds.), Handbook of Logic in Computer Science, Vol. 2: Computational Structures (Oxford University Press, Clarendon Press, Oxford, 1992), 477-563
-
(1992)
Handbook of Logic in Computer Science
, vol.2
, pp. 477-563
-
-
Stirling, C.1
-
40
-
-
0030237967
-
A Note on the Completeness of Kozen's Axiomatization of the Propositonal-calculus
-
I. Walukiewicz, “A Note on the Completeness of Kozen's Axiomatization of the Propositonal-calculus", Bulletin of Symbolic Logic 2 (1996) 349-366.
-
(1996)
Bulletin of Symbolic Logic
, vol.2
, pp. 349-366
-
-
Walukiewicz, I.1
|