๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Inference of Timed Transition Systems

โœ Scribed by Olga Grinchtein; Bengt Jonsson; Martin Leucker

Book ID
108126505
Publisher
Elsevier Science
Year
2005
Tongue
English
Weight
262 KB
Volume
138
Category
Article
ISSN
1571-0661

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

The cones and foci proof technique for t
The cones and foci proof technique for timed transition systems
โœ Mark B. van der Zwaag ๐Ÿ“‚ Article ๐Ÿ“… 2001 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 104 KB

We propose an extension of the cones and foci proof technique that can be used to prove timed branching bisimilarity of states in timed transition systems. We prove the correctness of this technique and we give an example verification.

Reduction of Timed Hybrid Systems
Reduction of Timed Hybrid Systems
โœ S. Di Gennaro; C. Horn; S. R. Kulkarni; P. J. Ramadge ๐Ÿ“‚ Article ๐Ÿ“… 1998 ๐Ÿ› Springer ๐ŸŒ English โš– 179 KB
Neural system interactions underlying hu
Neural system interactions underlying human transitive inference
โœ Sandra N. Moses; Tanya M. Brown; Jennifer D. Ryan; Anthony Randal McIntosh ๐Ÿ“‚ Article ๐Ÿ“… 2010 ๐Ÿ› John Wiley and Sons ๐ŸŒ English โš– 315 KB

## Abstract Human problem solving relies on multiple strategies supported by dynamic neural network interactions. The transitive inference (TI) problem solving task can be accomplished by the extraction of relations among stimuli or by responding to reinforcement histories of items using associativ