Author of the publication

Optimal Control of Markov Decision Processes With Linear Temporal Logic Constraints.

, , , and . IEEE Trans. Automat. Contr., 59 (5): 1244-1257 (2014)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Detection of microcalcifications in mammograms using multi-chromosome Cartesian genetic programming., , and . GECCO (Companion), page 1923-1930. ACM, (2010)A Review of Medical Applications of Genetic and Evolutionary Computation.. Genetic and Evolutionary Computation: Medical Applications, Wiley, (2011)Objective Assessment of Cognitive Impairment in Parkinson's Disease Using Evolutionary Algorithm., , , , and . EvoApplications (1), volume 10199 of Lecture Notes in Computer Science, page 109-124. (2017)Evolving Image Processing Operations for an Evolvable Hardware Environment., , and . ICES, volume 2606 of Lecture Notes in Computer Science, page 332-343. Springer, (2003)Characterization and classification of adherent cells in monolayer culture using automated tracking and evolutionary algorithms., , , , , and . Biosyst., (2016)An immune network inspired evolutionary algorithm for the diagnosis of Parkinson's disease., and . Biosyst., 94 (1-2): 34-46 (2008)Characterising neurological time series data using biologically motivated networks of coupled discrete maps., , , , and . Biosyst., 112 (2): 94-101 (2013)Optimal Partitioning of Non-Convex Environments for Minimum Turn Coverage Planning., , , and . IEEE Robotics Autom. Lett., 7 (4): 9731-9738 (2022)Learning Submodular Objectives for Team Environmental Monitoring., , and . IEEE Robotics Autom. Lett., 7 (2): 960-967 (2022)Multi-Robot Persistent Monitoring: Minimizing Latency and Number of Robots with Recharging Constraints., , and . CoRR, (2023)