Kaja Balzereit, Oliver Niggemann. Automated Reconfiguration of Cyber-Physical Production Systems using Satisfiability Modulo Theories. In IEEE Conference on Industrial Cyberphysical Systems, ICPS 2020, Tampere, Finland, June 10-12, 2020. pages 461-468, IEEE, 2020. [doi]
@inproceedings{BalzereitN20, title = {Automated Reconfiguration of Cyber-Physical Production Systems using Satisfiability Modulo Theories}, author = {Kaja Balzereit and Oliver Niggemann}, year = {2020}, doi = {10.1109/ICPS48405.2020.9274707}, url = {https://doi.org/10.1109/ICPS48405.2020.9274707}, researchr = {https://researchr.org/publication/BalzereitN20}, cites = {0}, citedby = {0}, pages = {461-468}, booktitle = {IEEE Conference on Industrial Cyberphysical Systems, ICPS 2020, Tampere, Finland, June 10-12, 2020}, publisher = {IEEE}, isbn = {978-1-7281-6389-5}, }