Titel

Merkliste
1 Ergebnisse

A hot method for synthesising cool controllers:

, In: Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software,

Husien, Idress ; Berthier, Nicolas ; Schewe, Sven - p. 122-131 , 2017

Link: https://dl.acm.org/doi/10.1145/3092282.3092299

RT 
T1 <cTitle>Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software</cTitle>: T1 <Title>A hot method for synthesising cool controllers</Title>

UL https://suche.suub.uni-bremen.de/peid=acm-3092299&Exemplar=1&LAN=DE
				
A1 Husien, Idress
A1 Berthier, Nicolas
A1 Schewe, Sven
PB ACM
YR 2017
K1 Discrete Controller Synthesis
K1 General Search Techniques
K1 Symbolic Model-checking
K1 Mathematics of computing
K1 Mathematical analysis
K1 Mathematical optimization
K1 Discrete optimization
K1 Optimization with randomized search heuristics
K1 Simulated annealing
K1 Software and its engineering
K1 Software organization and properties
K1 Software functional properties
K1 Formal methods
K1 Model checking
K1 Software system structures
K1 Software system models
K1 State systems
K1 Computer systems organization
K1 Real-time systems
K1 Computing methodologies
K1 Machine learning
K1 Machine learning approaches
K1 Bio-inspired approaches
K1 Genetic programming
SP 122
OP 131
LK http://dx.doi.org/https://dl.acm.org/doi/10.1145/3092282.3092299
DO https://dl.acm.org/doi/10.1145/3092282.3092299
SF ELIB - SuUB Bremen

Export

RefWorks (nur Desktop-Version!)
Flow (Zuerst in Flow einloggen, dann importieren)