×
+ All Categories
Log in
English
Français
Español
Deutsch
The top documents tagged [state transition systems]
Home >
state transition systems
The intelligent game designer: Game design as a new domain for automated discovery
108 views
S-CUBE LP: Context-aware Adaptation of Business Processes
584 views
[PEY97] Implementing Functional Languages
35 views
Grand Challenge Problem: Model Check Concurrent Software Edmund M. Clarke Department of Computer Science Carnegie Mellon University.
213 views
1 Formal Models for Stability Analysis : Verifying Average Dwell Time * Sayan Mitra MIT,CSAIL
[email protected]
Research Qualifying Exam 20 th December.
225 views
Reachability Analysis for Some Models of Infinite-State Transition Systems Oscar H. Ibarra, Tevfik Bultan, and Jianwen Su Department of Computer Science.
216 views
MCAI 2.0 Model Checking in Ten Minutes Edmund Clarke School of Computer Science Carnegie Mellon University.
215 views
Lecture 1: Model Checking
20 views
Model Checking Overview Edmund M. Clarke, Jr. School of Computer Science Carnegie Mellon University Pittsburgh, PA 15213.
213 views
ASAP-SG: Summary
61 views
AI Plannning
41 views
Model Checking in Ten Minutes
49 views