Mining requirements from closed-loop control models (Q2986909): Difference between revisions

From MaRDI portal
Set OpenAlex properties.
ReferenceBot (talk | contribs)
Changed an Item
 
Property / cites work
 
Property / cites work: Q5322945 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Model Repair for Probabilistic Systems / rank
 
Normal rank
Property / cites work
 
Property / cites work: Controlling a Class of Nonlinear Systems on Rectangles / rank
 
Normal rank
Property / cites work
 
Property / cites work: Enhancing model checking in verification by AI techniques / rank
 
Normal rank
Property / cites work
 
Property / cites work: Diagnostic Information for Realizability / rank
 
Normal rank
Property / cites work
 
Property / cites work: Markov decision processes and regular events / rank
 
Normal rank
Property / cites work
 
Property / cites work: A note on two problems in connexion with graphs / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4472258 / rank
 
Normal rank
Property / cites work
 
Property / cites work: A Fully Automated Framework for Control of Linear Systems from Temporal Logic Specifications / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3392273 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Receding horizon control for temporal logic specifications / rank
 
Normal rank

Latest revision as of 19:32, 13 July 2024

scientific article
Language Label Description Also known as
English
Mining requirements from closed-loop control models
scientific article

    Statements

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references