Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Adaptive control systems
1
Adaptive systems
1
Application programs
1
Artificial intelligence
1
Automatic synthesis
1
Continuous operation
1
Controller synthesis
1
Controllers
1
Correct solution
1
Correctness criterion
1
Dynamic update
1
Efficient synthesis
1
Logical characterization
1
Reactive synthesis
1
Reactive system
1
Software engineering
1
Software intensive systems
1
Sound engineerings
1
Specifications
1
Synthesis (chemical)
1
System requirements
1
-
1por Sardina, S., D'Ippolito, N., Wooldridge M., Yang Q., Alibaba.com; Department of Computer Science and Engineering at Universidad Nacional del Sur; Department of Computer Science at the School of Exact and Natural Sciences of Buenos Aires University; et al.; International Joint Conferences on Artificial Intelligence (IJCAI); Ministry of Science, Technology and Productive InnovationMaterias: “...Correct solution...”
CONF -
2por Nahabedian, L., Braberman, V., D'Ippolito, N., Honiden, S., Kramer, J., Tei, K., Uchitel, S., Association for Computing Machinery, Special Interest Group on Software Engineering (ACM SIGSOFT); IEEE Computer Society; IEEE Technical Council on Software Engineering (TCSE)Materias: “...Correctness criterion...”
CONF