1,140 results on '"Michael Fisher"'
Search Results
202. Autonomous Asteroid Exploration by Rational Agents.
203. Deductive temporal reasoning with constraints.
204. Verifying autonomous systems.
205. Combined model checking for temporal, probabilistic, and real-time logics.
206. Organising Logic-Based Agents.
207. Searching for Invariants Using Temporal Resolution.
208. Algorithms for Guiding Clausal Temporal Resolution.
209. The abc of rational agent modelling.
210. Model checking multi-agent systems with MABLE.
211. Agents with Bounded Temporal Resources.
212. A Simplified Clausal Resolution Procedure for Propositional Linear-Time Temporal Logic.
213. An Assurance-based Approach to Verification and Validation of Human-Robot Teams.
214. Formal Verification of Autonomous Vehicle Platooning.
215. Formal Verification of an Autonomous Personal Robotic Assistant.
216. Rationale and design of the Medical Research Council's Precision Medicine with Zibotentan in Microvascular Angina (PRIZE) trial
217. HEART OF THE MOUNTAIN
218. Reasoning about agents in the KARO framework.
219. Towards First-Order Temporal Resolution.
220. An Open Label, Adaptive, Phase 1 Trial of High-Dose Oral Nitazoxanide in Healthy Volunteers: An Antiviral Candidate for SARS-CoV-2
221. Analysing robot swarm behaviour via probabilistic model checking.
222. Towards temporal verification of swarm robotic systems.
223. Model checking agent programming languages.
224. Resolution-Based Proof for Multi-Modal Temporal Logics of Knowledge.
225. Verification within the KARO Agent Theory.
226. Normal Forms and Proofs in Combined Modal and Temporal Logics.
227. Characterizing Simple Negotiation as Distributed Agent-Based Theorem-Proving - A Preliminary Report.
228. Agent deliberation in an executable temporal framework.
229. Where logic and agents meet.
230. Programming Resource-Bounded Deliberative Agents.
231. Clausal Resolution for CTL*.
232. Executable specifications of resource-bounded agents.
233. Satellite Control Using Rational Agent Programming.
234. Agent Based Approaches to Engineering Autonomous Space Software
235. Exploring the Future with Resource-Bounded Agents.
236. Deductive verification of simple foraging robotic behaviours.
237. Property-based Slicing for Agent Verification.
238. Selumetinib in Children with Inoperable Plexiform Neurofibromas
239. A phase II study of continuous oral mTOR inhibitor everolimus for recurrent, radiographic-progressive neurofibromatosis type 1–associated pediatric low-grade glioma: a Neurofibromatosis Clinical Trials Consortium study
240. XTIP – the world’s first beamline dedicated to the synchrotron X-ray scanning tunneling microscopy technique
241. Implications of new understandings of gliomas in children and adults with NF1: report of a consensus conference
242. The Set of Support Strategy in Temporal Resolution.
243. Parallel Temporal Tableaux.
244. Representing Abstract Agent Architectures.
245. Specifying and reasoning about uncertain agents.
246. An Assessment of Instructional Methods, Student Perceptions, and Skill Acquisition in a Collegiate Beginner Judo Class
247. Cognition, ADHD Symptoms, and Functional Impairment in Children and Adolescents With Neurofibromatosis Type 1
248. Reproducibility of cognitive endpoints in clinical trials: lessons from neurofibromatosis type 1
249. Energy access in Malawian healthcare facilities: consequences for health service delivery and environmental health conditions
250. Subsequent Neoplasms After a Primary Tumor in Individuals With Neurofibromatosis Type 1
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.