[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Dear all,
We're pleased to announce the Special Issue "Selected Papers from the
Flavors of Uncertainty in Verification, Planning, and Optimization
Workshop (co-located with International Colloquium on Automata,
Languages and Programming 2021)", welcome to submit, please see the
details below
Special issue website:
https://urldefense.com/v3/__https://www.mdpi.com/journal/entropy/special_issues/Uncertainty_Verification__;!!IBzWLUs!Hpj6o4nzO94AiMn8ecGouiRhMdJmEn8J13pWqzsvwYGNOcCPIhjm_ATgTtCXYiJ6DeowMnA75fylhg$
Submission Deadline: 31 December 2021
Keywords:
Quantitative formal methods
Dynamic mechanism design
Planning under uncertainty
Robustness
Probabilistic model checking
Partial observability
Markov decision processes
Parametric systems
Statistical inference
Parameter synthesis.
Kind regards,
Mr. Connor Yang
