- ACD90.R. Alur, C. Gourcoubetis, and D. L. Dig. Model-checking for real-time systems, in Proceedings of the Fifth Annual IEEE Symposium on Logic in Computer Science, 1990.]]Google ScholarCross Ref
- AD90.R. Alur and D. L. Dill. Automata for modeling real-time systems. In 17th International Colloquium on Automata, Languages, and Programming. Springer-Verlag Lecture Notes in Computer Science 443, 1990.]] Google ScholarDigital Library
- AH89.R. Alur and T. A. Henzinger. A really temporal logic, in Proceedings of the 30th Annual IEEE Symposium on Foundations of Computer Science, 1989.]]Google ScholarDigital Library
- AH90.R. Alur and T. A. Henzinger. Real-time logics: complexity and expressiveness. In Proceedings of the Fifth Annual IEEE Symposium on Logic in Computer Science, 1990.]]Google ScholarCross Ref
- BCM+90.J. R. Burch, E. M. Clarke, K. L. McMillan, D. L. Dill, and L. J. Hwang. Symbolic model checking: 1020 states and beyond. In Proceedings of the Fifth Annual IEEE Symposium on Logic in Computer Science, 1990.]]Google ScholarCross Ref
- EMSS89.E. A. Emerson, A. K. Mok, A. P. Sistla, and J. Srinivasan. Quantitative temporal reasoning. Presented at the First Annual Workshop on Computer-aided Verification, Grenoble, France, 1989.]] Google ScholarDigital Library
- HLP90.E. Harel, O. Lichtenstein, and A. Pnueli. Expllcit-clock temporal logic. In Proceedings of the Fifth Annual IEEE Symposium on Logic in Computer Science, 1990.]]Google ScholarCross Ref
- JM86.F. Jahanian and A. K. Mok. Safety analysis of timing properties in real-time systems. IEEE Transactions on Software Engineering, SI~-12, 1986.]] Google ScholarDigital Library
- Koy90.R. Koymans. Specifying real-time properties with metric temporal logic. Journal of Realtime Systems, 2, 1990.]] Google ScholarDigital Library
- Lew90.H.R. Lewis. A logic of concrete time intervals. In Proceedings of the Fifth Annual IEEE Symposium on Logic in Computer Science, 1990.]]Google ScholarCross Ref
- LP84.O. Lichtenstein and A. Pnueli. Checking that finite-state concurrent programs satisfy their linear specification. In Proceedings of the llth Annual A CM Symposium on Principles of Programming Languages, 1984.]] Google ScholarDigital Library
- Ost90.J.S. Ostroff. Temporal Logic of Real-time Systems. Research Studies Press, 1990.]] Google ScholarDigital Library
- Rog67.H. Rogers, Jr. Theory of Recursive Functions and Effective Computability. McGraw- Hill, 1967.]] Google ScholarDigital Library
- Tho90.W. Thomas. Automata on infinite objects. In Jan van Leeuwen, editor, Handbook of Theoretical Computer Science, volume B. Elsevier, 1990.]] Google ScholarDigital Library
Index Terms
- The benefits of relaxing punctuality
Recommendations
An estimate of the punctuality benefits of automatic operational train sequencing
ATMOS'04: Proceedings of the 4th international Dagstuhl, ATMOS conference on Algorithmic approaches for transportation modeling, optimization, and systemsIn Dutch railway operations, most of the rescheduling decisions in the operational phase, following some disturbance, involve the resequencing of trains. These decisions are being taken using only approximate train information and operational rules. ...
Comments