共 50 条
- [31] Verification in continuous time by discrete reasoning ALGEBRAIC METHODOLOGY AND SOFTWARE TECHNOLOGY, 1995, 936 : 292 - 306
- [32] Continuous and Discrete Time: Scientific Possibilities KRONOSCOPE-JOURNAL FOR THE STUDY OF TIME, 2012, 12 (01): : 52 - 72
- [36] Representation of continuous change with discrete time FOURTH INTERNATIONAL WORKSHOP ON TEMPORAL REPRESENTATION AND REASONING, PROCEEDINGS, 1997, : 175 - 179
- [37] ON IMBEDDING DISCRETE CHAINS IN CONTINUOUS TIME AUSTRALIAN JOURNAL OF STATISTICS, 1967, 9 (01): : 1 - &
- [40] Safe Policy Synthesis in Multi-Agent POMDPs via Discrete-Time Barrier Functions 2019 IEEE 58TH CONFERENCE ON DECISION AND CONTROL (CDC), 2019, : 4797 - 4803