David Parker

1. Safe POMDP Online Planning among Dynamic Agents via Adaptive Conformal Prediction
   2024/04/23 by Shili Sheng, Sheng, Shili, Pian Yu +7 · 4 citations
   Computer Science · #FOS: Computer and information sciences #Network Security and Intrusion Detection #Robotics (cs.RO)
2. Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet
   2024/11/18 by Marnix Suilen, Thom Badings, Suilen, Marnix +7 · 7 citations
   Business, Management and Accounting · Computer Science · #Business Process Modeling and Analysis #AI-based Problem Solving and Planning
3. Viewpoint: Why Bother with Durkheim? Teaching Sociology in the 1990s
   1997/02/01 by David Parker · 1 citation
   Social Sciences · #Contemporary Sociological Theory and Practice #Social Capital and Networks #Social and Cultural Dynamics
4. Zig-Zag magnetic order and potential Kitaev interactions in the spin-1 honeycomb lattice KNiAsO₄
   2022/09/21 by K. M. Taddei, Taddei, K. M., V. Ovidiu Garlea +15 · 2 citations
   Physics and Astronomy · #Advanced Condensed Matter Physics #Physics of Superconductivity and Magnetism #Cold Atom Physics and Bose-Einstein Condensates
5. Robust Anytime Learning of Markov Decision Processes
   2022/05/31 by Marnix Suilen, Suilen, Marnix, Thiago D. Simão +5 · 2 citations
   Computer Science · #Artificial Intelligence (cs.AI) #Bayesian Modeling and Causal Inference #FOS: Computer and information sciences #Formal Methods in Verification #Machine Learning (cs.LG) #Software Reliability and Analysis Research
6. Designing magnesium-selective ligands using coordination chemistry principles
   2020/11/16 by Edward R. H. Walter, Edward R.H. Walter, Christopher Hogg +3 · 5 citations
   Chemistry · Materials Science · #Molecular Sensors and Ion Detection #Lanthanide and Transition Metal Complexes #Magnetism in coordination complexes
7. Probabilistic Mobile Ambients
   2009/01/10 by Marta Kwiatkowska, Gethin Norman, David Parker +1 · 1 citation
   Computer Science · Social Sciences · #Distributed systems and fault tolerance #Formal Methods in Verification #Access Control and Trust
8. Verified Probabilistic Policies for Deep Reinforcement Learning
   2022/01/10 by Edoardo Bacci, Bacci, Edoardo, David Parker +1 · 1 citation
   Computer Science · #Adversarial Robustness in Machine Learning #Artificial Intelligence (cs.AI) #Explainable Artificial Intelligence (XAI) #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Machine Learning (cs.LG)
9. Nanometric modulations of the magnetic structure of the element Nd
   2022/07/06 by Hasitha Suriya Arachchige, Lisa DeBeer‐Schmitt, Arachchige, H. Suriya +37 · 1 citation
   Engineering · Materials Science · #Electric Power Systems and Control #FOS: Physical sciences #Magnetic Properties and Applications #Metal and Thin Film Mechanics #Strongly Correlated Electrons (cond-mat.str-el)
10. Multi-Objective Controller Synthesis with Uncertain Human Preferences
    2021/05/10 by Shenghui Chen, Kayla Boggess, Chen, Shenghui +5 · 1 citation
    Computer Science · Engineering · Psychology · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Flexible and Reconfigurable Manufacturing Systems #Formal Languages and Automata Theory (cs.FL) #Formal Methods in Verification #Human-Automation Interaction and Safety
11. Property-driven Causal Abstractions for Markov Decision Processes
    2026/07/29 by Jule Schmidt, Maximilian Weininger, Clemens Dubslaff +2
    Computer Science · #cs.AI #cs.LO