Stop the war!
Остановите войну!
for scientists:
default search action
"Specification Guided Automated Synthesis of Feedback Controllers."
Nikhil Kumar Singh, Indranil Saha (2021)
- Nikhil Kumar Singh, Indranil Saha:
Specification Guided Automated Synthesis of Feedback Controllers. ACM Trans. Embed. Comput. Syst. 20(5s): 80:1-80:26 (2021)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.