[TYPES/announce] [Types-announce] CFP: 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)"

[Connor Yang]

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