Sciweavers

31387 search results - page 292 / 6278
» Abstracts
Sort
View
SLP
1997
100views more  SLP 1997»
15 years 8 months ago
Temporal Logic Model Checking (Abstract)
Edmund M. Clarke
SLP
1997
49views more  SLP 1997»
15 years 8 months ago
Model Checking (Abstract)
Rob Gerth
WSC
2000
15 years 8 months ago
Model abstraction for discrete event systems using neural networks and sensitivity information
STRACTION FOR DISCRETE EVENT SYSTEMS USING NEURAL NETWORKS AND SENSITIVITY INFORMATION Christos G. Panayiotou Christos G. Cassandras Department of Manufacturing Engineering Boston ...
Christos G. Panayiotou, Christos G. Cassandras, We...