Steve Marcus

From MaRDI portal



List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

PublicationDate of PublicationType
Bisimulation and Hennessy-Milner logic for generalized synchronization trees2021-12-08Paper
Bisimulation and Hennessy-Milner logic for generalized synchronization trees
(available as arXiv preprint)
2021-12-08Paper
Stochastic Optimization in a Cumulative Prospect Theory Framework
IEEE Transactions on Automatic Control
2018-09-18Paper
Adaptive System Optimization Using Random Directions Stochastic Approximation
IEEE Transactions on Automatic Control
2017-07-27Paper
Generalized synchronization trees
Lecture Notes in Computer Science
2014-04-16Paper


Research outcomes over time


This page was built for person: Steve Marcus