Daniel J. Rosenkrantz, Madhav V. Marathe, S. S. Ravi, Richard Edwin Stearns. Testing Phase Space Properties of Synchronous Dynamical Systems with Nested Canalyzing Local Functions. In Elisabeth André, Sven Koenig, Mehdi Dastani, Gita Sukthankar, editors, Proceedings of the 17th International Conference on Autonomous Agents and MultiAgent Systems, AAMAS 2018, Stockholm, Sweden, July 10-15, 2018. pages 1585-1594, International Foundation for Autonomous Agents and Multiagent Systems Richland, SC, USA / ACM, 2018. [doi]
@inproceedings{RosenkrantzMRS18,
title = {Testing Phase Space Properties of Synchronous Dynamical Systems with Nested Canalyzing Local Functions},
author = {Daniel J. Rosenkrantz and Madhav V. Marathe and S. S. Ravi and Richard Edwin Stearns},
year = {2018},
url = {http://dl.acm.org/citation.cfm?id=3237936},
researchr = {https://researchr.org/publication/RosenkrantzMRS18},
cites = {0},
citedby = {0},
pages = {1585-1594},
booktitle = {Proceedings of the 17th International Conference on Autonomous Agents and MultiAgent Systems, AAMAS 2018, Stockholm, Sweden, July 10-15, 2018},
editor = {Elisabeth André and Sven Koenig and Mehdi Dastani and Gita Sukthankar},
publisher = {International Foundation for Autonomous Agents and Multiagent Systems Richland, SC, USA / ACM},
}