November 01, 1995 book-review Open access Artificial intelligence: a modern approach Choice Reviews Online DOI: 10.5860/choice.33-1577 Full text (OA) OpenAlex Authors 0 Author list not loaded yet. Cited by 30 stored of 22,143 Search Sort Most cited Newest Oldest Patent citations Title Any typearticle review book-chapter conference-paper preprint dissertation book dataset other Any fieldAgricultural and Biological Sciences Arts and Humanities Biochemistry, Genetics and Molecular Biology Business, Management and Accounting Chemical Engineering Chemistry Computer Science Decision Sciences Dentistry Earth and Planetary Sciences Economics, Econometrics and Finance Energy Engineering Environmental Science Health Professions Immunology and Microbiology Materials Science Mathematics Medicine Neuroscience Nursing Pharmacology, Toxicology and Pharmaceutics Physics and Astronomy Psychology Social Sciences Veterinary Open access Laboratory earthquake forecasting: A machine learning competition 2021 Proceedings of the National Academy of Sciences article Computer Science Seismology and Earthquake Studies Open access cited by 1 patent 123 citations Transparenz und Wert der Daten im Bauwesen 2021 Springer eBooks book-chapter Engineering BIM and Construction Integration 4 citations The Complexity of Reachability in Parametric Markov Decision Processes 2020 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access 10 citations Deep Model-Based Reinforcement Learning for High-Dimensional Problems, a Survey 2020 arXiv (Cornell University) preprint Computer Science Reinforcement Learning in Robotics Open access 6 citations Generation of Invalid Test Inputs from Over-Constrained Test Models for Combinatorial Robustness Testing 2020 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW) conference-paper Computer Science Software Testing and Debugging Techniques 1 citations Automatic frequency restoration reserve market prediction: Methodology and comparison of various approaches 2020 Applied Energy article Engineering Electric Power System Optimization 39 citations Parameter synthesis in Markov models 2020 RWTH Publications (RWTH Aachen) dissertation Computer Science Formal Methods in Verification Open access 27 citations Verification of Indefinite-Horizon POMDPs 2020 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access 23 citations Industrie 4.0: Agile Entwicklung und Produktion im Internet of Production 2020 Springer eBooks book-chapter Engineering Digital Transformation in Industry 10 citations Scenario-Based Verification of Uncertain MDPs 2020 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access 20 citations 21–30 of 30 ← Previous Page 2 / 2 References 0