[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 connor.yang at mdpi.com
Fri Aug 27 06:49:26 EDT 2021


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


More information about the Types-announce mailing list