Log in

Relevant bibliographies by topics / Plan verification

Contents

Journal articles
Dissertations / Theses
Books
Book chapters
Conference papers
Reports

Academic literature on the topic 'Plan verification'

Author: Grafiati

Published: 4 June 2021

Last updated: 18 February 2022

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Plan verification.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Journal articles on the topic "Plan verification"

1

Pierno, J., C. Hamilton, and S. Kanumalla. "SU-E-E-07: Radcalc IMRT Plan Verification vs. Mapcheck IMRT Plan Verification." Medical Physics 38, no. 6Part3 (June 2011): 3392. http://dx.doi.org/10.1118/1.3611561.

Full text

APA, Harvard, Vancouver, ISO, and other styles

2

Cesta, Amedeo, Simone Fratini, Andrea Orlandini, Alberto Finzi, and Enrico Tronci. "Flexible Plan Verification: Feasibility Results." Fundamenta Informaticae 107, no. 2-3 (2011): 111–37. http://dx.doi.org/10.3233/fi-2011-397.

Full text

APA, Harvard, Vancouver, ISO, and other styles

3

Huang, Xu, Deng Jun, Lin Tao Liu, and Lun Cai Liu. "Using Verification Planner to Track the Verification Process." Applied Mechanics and Materials 596 (July 2014): 131–35. http://dx.doi.org/10.4028/www.scientific.net/amm.596.131.

Full text

Abstract:

This paper will discuss how we integrated Verification Planner in our verification environment to generate better reports that can be used to track the progress of verification with the project manager. Using Verification Planner we were able to add coverage information to the Verification IP’s Excel based verification plans. We can then take advantage of Excel to generate better reports. Using a top-level plan, we were able to generate a summary page that could be shared with project manager, giving them the information they needed.

APA, Harvard, Vancouver, ISO, and other styles

4

Yang, Deshan, and Kevin L. Moore. "Automated radiotherapy treatment plan integrity verification." Medical Physics 39, no. 3 (February 28, 2012): 1542–51. http://dx.doi.org/10.1118/1.3683646.

Full text

APA, Harvard, Vancouver, ISO, and other styles

5

Lee, Dong Kun, Jong Gye Shin, Youngmin Kim, and Yong Kuk Jeong. "Simulation-Based Work Plan Verification in Shipyards." Journal of Ship Production and Design 30, no. 02 (May 1, 2014): 49–57. http://dx.doi.org/10.5957/jspd.2014.30.2.49.

Full text

Abstract:

The productivity of a shipyard depends on how efficiently and systematically its limited resources are managed and used. Korean shipyards, the most competitive in the world, have developed and operate their own production management systems to attain high productivity, each of which reflects the unique characteristics of a specific company. Recently, research on simulation methods to enhance production management systems has been gaining popularity. Production management based on simulations rejects decision-making based on experience and intuition and values the establishment of improvement methods based on quantitative and concrete data. In this article, simulation is applied to the work plan as part of the production planning in shipyards. To this end, the work planning processes and planning systems are analyzed. Based on this analysis, a simulation model and application system are suggested. By using the results obtained in this study, it is expected that shipyards can construct cycles for establishing, simulating, and analyzing work plans, enabling the establishment of more precise production plans.

APA, Harvard, Vancouver, ISO, and other styles

6

Zerillo, Jessica A., Erin Santacroce, Mary Ann Zimmerman, Melissa Freeman, Teresa Lau Greenberg, Phuong Nguyen, Susan N. Chi, et al. "Building a new process: Nursing verification of pediatric oral chemotherapy." Journal of Clinical Oncology 34, no. 7_suppl (March 1, 2016): 199. http://dx.doi.org/10.1200/jco.2016.34.7_suppl.199.

Full text

Abstract:

199 Background: While team-based safety checks ensure safe prescribing of parenteral chemotherapy, oral chemotherapy is usually prescribed by a single clinician. With the growing use of oral chemotherapy, processes are needed to protect these vulnerable patients from prescription errors. Methods: A team of nurses, clinicians, pharmacists and administrators developed a new process and checklist for nursing verification of oral chemotherapy prescriptions at Dana-Farber’s pediatric neuro-oncology program. Prescriptions are verified against the treatment plan by two pediatric oncology nurses. The verification checklist includes drug, dose with any modifications, height and weight, laboratory values and patient instructions. When available, the prescription bottle is also verified. Data was collected over a three-month pilot period. Results: From 6/18/15-9/16/15, 56 prescription verifications occurred. Verification rate of on-site retail pharmacy filled prescriptions was 47% (32/68 prescriptions). Median time for verification was 20 minutes (IQR 15, 40) per nurse. Nurses identified problems outside of prescription verification, including missing prior authorizations and unclear treatment plans. Medication bottles were not routinely available for verification. One identified near miss would have resulted in an 80% under-dose of everolimus. Conclusions: Prescription verification by nursing in a pediatric oncology clinic was feasible. While it was successful in identification of one medication error before it reached the patient, only 47% of prescriptions were verified. Since prescription bottles are usually obtained after a visit, verification of the actual bottles will require new workflows, such as additional clinic visits or uploading a picture via the patient portal. Involving the nurse in the review of oral chemotherapy not only identified a prescription error, but also highlighted issues within other aspects of patients’ care, including inconsistent documentation of the treatment plan. The inclusion of nursing in the review and management of oral chemotherapy has the potential to improve safety and outcomes for these patients.

APA, Harvard, Vancouver, ISO, and other styles

7

Hochman, Dominik, Jan Trenz, Radim Nečas, and Jiří Stráským. "Experimental Verification of Plan Curved Arch Structures." Advanced Materials Research 1106 (June 2015): 203–6. http://dx.doi.org/10.4028/www.scientific.net/amr.1106.203.

Full text

Abstract:

This paper describes preparation and implementation of a model test of two space arch pedestrian bridges that are currently being developed. Implementation of a static model built in the scale 1:10 follows from the design of studied structures.

APA, Harvard, Vancouver, ISO, and other styles

8

NORMAN, C. "Britain Offers Plan for Chemical Weapons Verification." Science 233, no. 4764 (August 8, 1986): 617–18. http://dx.doi.org/10.1126/science.233.4764.617.

Full text

APA, Harvard, Vancouver, ISO, and other styles

9

Lee, Dong Kun, Jong Gye Shin, Youngmin Kim, and Yong Kuk Jeong. "Simulation-Based Work Plan Verification in Shipyards." Journal of Ship Production and Design 30, no. 2 (May 1, 2014): 49–57. http://dx.doi.org/10.5957/jspd.30.2.130032.

Full text

APA, Harvard, Vancouver, ISO, and other styles

10

Agazaryan, Nzhde, Wolfgang Ullrich, Steve P. Lee, and Timothy D. Solberg. "A methodology for verification of radiotherapy dose calculation." Journal of Neurosurgery 101, Supplement3 (November 2004): 356–61. http://dx.doi.org/10.3171/sup.2004.101.supplement3.0356.

Full text

Abstract:

Object. A methodology for dosimetric verification of radiation therapy plans was developed and implemented. Dosimetric accuracy of clinically active intensity-modulated radiotherapy (IMRT) and intensity-modulated radiosurgery (IMRS) programs was assessed using this methodology. Methods. The methodology included several dosimetric tasks that were performed to assess the dosimetric accuracy of a treatment plan. Absolute dosimetry of the composite plan was performed using an ionization chamber. Film dosimetry was performed for each individual field and for the multifield composite plan. Calculated dose distributions and film measurements were compared using software developed for the specific tasks. Two-dimensional maps of gamma index, dose difference, and distance-to-agreement were calculated and displayed. To date, good agreement between measurements and calculations has been observed in 160 clinical IMRT and IMRS plans. The largest observed absolute dose disagreement was −4.79%. The mean absolute dose difference was 0.26%, with a standard deviation of 1.75%. The authors specify a 3% dose difference and 3-mm distance as the scaling acceptability criteria for the gamma index calculations of the film measurement analysis. The planning and delivery system in clinical use has proven consistently to satisfy these criteria. Conclusions. The dosimetric verification methods and the software tools developed were both quantitative and clinically practical. The measurements and the analysis demonstrated that the IMRT and IMRS planning and delivery system in use was sufficiently accurate for highly conformal treatments.

APA, Harvard, Vancouver, ISO, and other styles

More sources

Dissertations / Theses on the topic "Plan verification"

1

Krupp, Alfred Alexander. "A verification plan for systematic verification of mechatronic systems." Aachen Shaker, 2009. http://d-nb.info/995161909/04.

Full text

APA, Harvard, Vancouver, ISO, and other styles

2

Krupp, Alfred Alexander [Verfasser]. "A Verification Plan for Systematic Verification of Mechatronic Systems / Alfred Alexander Krupp." Aachen : Shaker, 2009. http://d-nb.info/1156518482/34.

Full text

APA, Harvard, Vancouver, ISO, and other styles

3

Kenger, Patrik. "Module property verification : A method to plan and perform quality verifications in modular architectures." Doctoral thesis, Stockholm, 2006. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-3965.

Full text

APA, Harvard, Vancouver, ISO, and other styles

4

Pichler, Joseph Alan. "IMRT Plan Delivery Verification Utilizing a Spiral Phantom with Radiochromic Film Dosimetry." University of Toledo Health Science Campus / OhioLINK, 2010. http://rave.ohiolink.edu/etdc/view?acc_num=mco1288963613.

Full text

APA, Harvard, Vancouver, ISO, and other styles

5

Flower, Emily Elizabeth, and not supplied. "Comparison of Two Planning Methods for Heterogeneity Correction in Planning Total Body Irradiation." RMIT University. Applied Sciences, 2006. http://adt.lib.rmit.edu.au/adt/public/adt-VIT20070511.163728.

Full text

Abstract:

Total body irradiation (TBI) is often used as part of the conditioning process prior to bone marrow transplants for diseases such as leukemia. By delivering radiation to the entire body, together with chemotherapy, tumour cells are killed and the patient is also immunosupressed. This reduces the risk of disease relapse and increases the chances of a successful implant respectively. TBI requires a large flat field of radiation to cover the entire body with a uniform dose. However, dose uniformity is a major challenge in TBI. (AAPM Report 17) The ICRU report 50 recommends that the dose range within the target volume remain in the range of -5% to +7%. Whilst it is generally accepted that this is not possible for TBI, it is normally clinically acceptable that ±10% of the prescribed dose to the whole body is sufficiently uniform, unless critical structures are being shielded. TBI involves complex dosimetry due to the large source to treatment axis distance (SAD), dose uniformity and flatness over the large field, bolus requirements, extra scatter from the bunker walls and floor and large field overshoot. There is also a lack of specialised treatment planning systems for TBI planning at extended SAD. TBI doses at Westmead Hospital are prescribed to midline. Corrections are made for variations in body contour and tissue density heterogeneity in the lungs using bolus material to increase dose uniformity along midline. Computed tomography (CT) data is imported into a treatment planning system. The CT gives information regarding tissue heterogeneity and patient contour. The treatment planning system uses this information to determine the dose distribution. Using the dose ratio between plans with and without heterogeneity correction the effective chest width can be calculated. The effective chest width is then used for calculating the treatment monitor units and bolus requirements. In this project the tissue heterogeneity corrections from two different treatment planning systems are compared for calculating the effective chest width. The treatment planning systems used were PinnacleTM, a 3D system that uses a convolution method to correct for tissue heterogeneity and calculate dose. The other system, RadplanTM, is a 2D algorithm that corrects for tissue heterogeneity using a modified Batho method and calculates dose using the Bentley - Milan Algorithm. Other possible differences between the treatment planning systems are also discussed. An anthropomorphic phantom was modified during this project. The chest slices were replaced with PerspexTM slices that had different sized cork and PerspexTM inserts to simulate different lung sizes. This allowed the effects of different lung size on the heterogeneity correction to be analysed. The phantom was CT scanned and the information used for the treatment plans. For each treatment planning system and each phantom plans were made with and without heterogeneity corrections. For each phantom the ratio between the plans from each system was used to calculate the effective chest width. The effective chest width was then used to calculate the number of monitor units to be delivered. The calculated dose per monitor unit at the extended TBI distance for the effective chest width from each planning system is then verified using thermoluminescent dosimeters (TLDs) in the unmodified phantom. The original phantom was used for the verification measurements as it had special slots for TLDs. The isodose distributions produced by each planning system are then verified using measurements from Kodak EDR2 radiographic film in the anthropomorphic phantom at isocentre. Further film measurements are made at the extended TBI treatment SAD. It was found that only the width of the lungs made any significant difference to the heterogeneity correction for each treatment planning system. The height and depth of the lungs will affect the dose at the calculation point from changes to the scattered radiation within the volume. However, since the dose from scattered radiation is only a fraction of that from the primary beam, the change in dose was not found to be significant. This is because the calculation point was positioned in the middle of the lungs, so the height and depth of the lungs didn't affect the dose at the calculation point. The dose per monitor unit calculated using the heterogeneity correction for each treatment planning system varied less than the accuracy of the TLD measurements. The isodose distributions measured by film showed reasonable agreement with those calculated by both treatment planning systems at isocentre and a more uniform distribution at the extended TBI treatment distance. The verification measurements showed that either treatment planning system could be used to calculate the heterogeneity correction and hence effective chest width for TBI treatment planning.

APA, Harvard, Vancouver, ISO, and other styles

6

Borse, Prashant A. "Visualization of a slot milling process for verification and validation of a process plan on the internet." Ohio University / OhioLINK, 2003. http://rave.ohiolink.edu/etdc/view?acc_num=ohiou1177525318.

Full text

APA, Harvard, Vancouver, ISO, and other styles

7

Rai, Jitender Kumar. "FEM-MILL: a finite element based 3D transient milling simulation environment for process plan verification and optimization /." Lausanne : EPFL, 2008. http://library.epfl.ch/theses/?nr=4190.

Full text

Abstract:

Thèse Ecole polytechnique fédérale de Lausanne EPFL, no 4190 (2008), Faculté des sciences et techniques de l'ingénieur STI, Programme doctoral Systèmes de production et Robotique, Institut de génie mécanique IGM (Laboratoire des outils informatiques pour la conception et la production LICP). Dir.: Paul Xirouchakis.

APA, Harvard, Vancouver, ISO, and other styles

8

Zalabáková, Eliška. "Podnikatelský plán." Master's thesis, Vysoká škola ekonomická v Praze, 2015. http://www.nusl.cz/ntk/nusl-201841.

Full text

Abstract:

Goal of the thesis is to create a business plan for existing company, which has decided to extend its business, and a feasibility verification of the plan. The theoretical part of the thesis contains summary of requirements for business plan and elaborating rules. The theoretical part is based on studies of scholarly literature. The practical part contains compile business plan for company which trades alcoholic beverages. Business plan compilation followed the assignment and reflecting gained theoretical knowledge. According to the business plan, including also a financial plan, it is possible to evaluate its viability and feasibility. The thesis benefits are framed business plan for existing company, judging its feasibility, creation of a workable system for future financial planning for the business owner and recommendations leading to future activity.

APA, Harvard, Vancouver, ISO, and other styles

9

Pančáková, Alexandra. "Podnikateľský plán." Master's thesis, Vysoká škola ekonomická v Praze, 2013. http://www.nusl.cz/ntk/nusl-199565.

Full text

Abstract:

The scope of the diploma thesis is to create business plan, analyse feasibility study and realistic approach of the Company focused on producing and sale of the frozen yogurt. The main aim of the theoretical part contains information about detailed awareness of all features of the business plan. All data has been sourced from the relevant source of information. All provided information were transformed into business plan of the company YoGu, s.r.o. which is mainly focused on manufacturing and selling of frozen yogurt. Due to the financial plan it has been verified that business strategy of the company YoGu is feasible and it has potential to survive in the real business environment.

APA, Harvard, Vancouver, ISO, and other styles

10

Knot, Martin. "Podnikatelský plán - lezecké centrum." Master's thesis, Vysoká škola ekonomická v Praze, 2015. http://www.nusl.cz/ntk/nusl-264371.

Full text

Abstract:

This Master´s thesis deals with creating a business plan, which covers the construction of a climbing centre in Vrchlabí. The goal of the thesis is to assess the feasibility of the project based on the created business plan. The thesis is divided into two main parts. The first, theoretical part, deals with a difference between an entrepreneur and a relationship of employment, reasons to run a business, but above all, reasons for creating a business plan and its structure. The practical part includes a business plan itself with a detailed structure of the whole project, a financial plan and all necessary steps and actions that need to be done for its successful realization. The greatest emphasis is placed on the analysis of potential customers as a key factor of the success of the project. Evaluation of the project profitability and success in existing conditions comes in the conclusion of the thesis.

APA, Harvard, Vancouver, ISO, and other styles

More sources

Books on the topic "Plan verification"

1

Wanhill, R. J. H. A test plan for sustained load fracture control verification. Amsterdam: National Aerospace Laboratory, 1989.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

2

James, Peet. Verification Plans. Boston, MA: Springer US, 2004. http://dx.doi.org/10.1007/978-1-4615-0473-3.

Full text

APA, Harvard, Vancouver, ISO, and other styles

3

Albright, David. Dismantling the DPRK's nuclear weapons program: A practicable, verifiable plan of action. Washington, DC: United States Institute of Peace, 2006.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

4

James, Peet. Verification plans: The five-day verification strategy for modern hardware verification languages. Boston: Kluwer Academic Publishers, 2004.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

5

James, Peet. Verification Plans: The Five-Day Verification Strategy for Modern Hardware Verification Languages. Boston, MA: Springer US, 2004.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

6

Commission, Canadian Nuclear Safety. Human factors verification and validation plans. [Ottawa]: Canadian Nuclear Safety Commission, 2003.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

7

National Bureau of Standards. Guideline for software verification and validation plans. Gaithersburg, MD: U.S. Dept. of Commerce/National Bureau of Standards, 1987.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

8

Wynn, Sarah L. Aerial photography and aground verification at power plant sites: Wisconsin power plant impact study. Duluth, MN: U.S. Environmental Protection Agency, Environmental Research Laboratory, 1985.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

9

Meyer, Kathleen R. Characterization of releases to surface water from the Rocky Flats Plant: Task 2, verification and analysis of source terms. Neeses, S.C: Radiological Assessments Corporation, 1999.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

10

Weber, Jill M. Development of the Rocky Flats Plant 903 area plutonium source term: Task 2, verification and analysis of source terms. Neeses, S.C: Radiological Assessments Corporation, 1999.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

More sources

Book chapters on the topic "Plan verification"

1

James, Peet. "Plan, Plan, Plan." In Verification Plans, 1–10. Boston, MA: Springer US, 2004. http://dx.doi.org/10.1007/978-1-4615-0473-3_1.

Full text

APA, Harvard, Vancouver, ISO, and other styles

2

Bergeron, Janick. "The Verification Plan." In Writing Testbenches using System Verilog, 77–111. Boston, MA: Springer US, 2006. http://dx.doi.org/10.1007/0-387-31275-7_3.

Full text

APA, Harvard, Vancouver, ISO, and other styles

3

Bergeron, Janick. "The Verification Plan." In Writing Testbenches: Functional Verification of HDL Models, 85–120. Boston, MA: Springer US, 2003. http://dx.doi.org/10.1007/978-1-4615-0302-6_3.

Full text

APA, Harvard, Vancouver, ISO, and other styles

4

Cesta, A., A. Finzi, S. Fratini, A. Orlandini, and E. Tronci. "Flexible Timeline-Based Plan Verification." In KI 2009: Advances in Artificial Intelligence, 49–56. Berlin, Heidelberg: Springer Berlin Heidelberg, 2009. http://dx.doi.org/10.1007/978-3-642-04617-9_7.

Full text

APA, Harvard, Vancouver, ISO, and other styles

5

Khatib, Lina, Nicola Muscettola, and Klaus Havelund. "Verification of Plan Models Using UPPAAL." In Formal Approaches to Agent-Based Systems, 114–22. Berlin, Heidelberg: Springer Berlin Heidelberg, 2001. http://dx.doi.org/10.1007/3-540-45484-5_9.

Full text

APA, Harvard, Vancouver, ISO, and other styles

6

Sibai, Hussein, Yangge Li, and Sayan Mitra. "$$\mathsf {SceneChecker}$$: Boosting Scenario Verification Using Symmetry Abstractions." In Computer Aided Verification, 580–94. Cham: Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-81685-8_28.

Full text

Abstract:

AbstractWe present $$\mathsf {SceneChecker}$$ SceneChecker , a tool for verifying scenarios involving vehicles executing complex plans in large cluttered workspaces. $$\mathsf {SceneChecker}$$ SceneChecker converts the scenario verification problem to a standard hybrid system verification problem, and solves it effectively by exploiting structural properties in the plan and the vehicle dynamics. $$\mathsf {SceneChecker}$$ SceneChecker uses symmetry abstractions, a novel refinement algorithm, and importantly, is built to boost the performance of any existing reachability analysis tool as a plug-in subroutine. We evaluated $$\mathsf {SceneChecker}$$ SceneChecker on several scenarios involving ground and aerial vehicles with nonlinear dynamics and neural network controllers, employing different kinds of symmetries, using different reachability subroutines, and following plans with hundreds of waypoints in complex workspaces. Compared to two leading tools, DryVR and Flow*, $$\mathsf {SceneChecker}$$ SceneChecker shows 14$$\times $$ × average speedup in verification time, even while using those very tools as reachability subroutines.

APA, Harvard, Vancouver, ISO, and other styles

7

Peterson, Susan, and Paul Carzola. "From Panic-Driven to Plan-Driven Verification Managing the Transition." In Metric- Driven Design Verification, 297–302. Boston, MA: Springer US, 2007. http://dx.doi.org/10.1007/978-0-387-38152-7_21.

Full text

APA, Harvard, Vancouver, ISO, and other styles

8

Pitts, Joseph, Phyllis Kayten, and John Zalenchak. "The National Plan for Aviation Human Factors." In Verification and Validation of Complex Systems: Human Factors Issues, 529–40. Berlin, Heidelberg: Springer Berlin Heidelberg, 1993. http://dx.doi.org/10.1007/978-3-662-02933-6_38.

Full text

APA, Harvard, Vancouver, ISO, and other styles

9

Zhang, Chengqi, and Yuefeng Li. "An algorithm for plan verification in multiple agent systems." In Agents and Multi-Agent Systems Formalisms, Methodologies, and Applications, 149–63. Berlin, Heidelberg: Springer Berlin Heidelberg, 1998. http://dx.doi.org/10.1007/bfb0055026.

Full text

APA, Harvard, Vancouver, ISO, and other styles

10

Jakubův, Jan, Jan Tožička, and Antonín Komenda. "Using Process Calculi for Plan Verification in Multiagent Planning." In Lecture Notes in Computer Science, 245–61. Cham: Springer International Publishing, 2015. http://dx.doi.org/10.1007/978-3-319-27947-3_13.

Full text

APA, Harvard, Vancouver, ISO, and other styles

Conference papers on the topic "Plan verification"

1

Schaffar, A., P. Lemeur, V. Gobin, and S. Bertuol. "Ariane 5 Lightning Verification Plan." In International Conference on Lightning and Static Electricity. 400 Commonwealth Drive, Warrendale, PA, United States: SAE International, 1999. http://dx.doi.org/10.4271/1999-01-2334.

Full text

APA, Harvard, Vancouver, ISO, and other styles

2

Bergeron, J., H. Foster, A. Piziali, R. S. Mitra, C. Ahlschlager, and D. Stein. "Building a verification test plan." In the 43rd annual conference. New York, New York, USA: ACM Press, 2006. http://dx.doi.org/10.1145/1146909.1147113.

Full text

APA, Harvard, Vancouver, ISO, and other styles

3

Jakubův, Jan, Jan Tožička, and Antonín Komenda. "Multiagent Planning by Plan Set Intersection and Plan Verification." In International Conference on Agents and Artificial Intelligence. SCITEPRESS - Science and and Technology Publications, 2015. http://dx.doi.org/10.5220/0005222101730182.

Full text

APA, Harvard, Vancouver, ISO, and other styles

4

Kirchsteiger, C. M., C. Trummer, C. Steger, R. Weiss, and M. Pistauer. "Automatic Verification Plan Generation to Speed up SoC Verification." In 2008 NORCHIP. IEEE, 2008. http://dx.doi.org/10.1109/norchp.2008.4738278.

Full text

APA, Harvard, Vancouver, ISO, and other styles

5

Zhou, Jianhua, and Dingjun Li. "Reliability Verification: Plan, Execution, and Analysis." In SAE World Congress & Exhibition. 400 Commonwealth Drive, Warrendale, PA, United States: SAE International, 2009. http://dx.doi.org/10.4271/2009-01-0561.

Full text

APA, Harvard, Vancouver, ISO, and other styles

6

O'Kelly, Matthew E., Houssam Abbas, Sicun Gao, Shinpei Kato, Shinichi Shiraishi, and Rahul Mangharam. "APEX: Autonomous Vehicle Plan Verification and Execution." In SAE 2016 World Congress and Exhibition. 400 Commonwealth Drive, Warrendale, PA, United States: SAE International, 2016. http://dx.doi.org/10.4271/2016-01-0019.

Full text

APA, Harvard, Vancouver, ISO, and other styles

7

Hirschel, E., and H. Kuczera. "The FESTIP Technology Development and Verification Plan." In 8th AIAA International Space Planes and Hypersonic Systems and Technologies Conference. Reston, Virigina: American Institute of Aeronautics and Astronautics, 1998. http://dx.doi.org/10.2514/6.1998-1567.

Full text

APA, Harvard, Vancouver, ISO, and other styles

8

Ferreira, Macilio da Silva, Maria Viviane Menezes, and Leliane Nunes De Barros. "Plan Existence Verification as Symbolic Model Checking." In XV Encontro Nacional de Inteligência Artificial e Computacional. Sociedade Brasileira de Computação - SBC, 2018. http://dx.doi.org/10.5753/eniac.2018.4409.

Full text

Abstract:

Automated Planning is the subarea of AI concerned with the generation of a plan of actions for an agent to achieve its goals. State-of-the-art planning algorithms are based on heuristic search. However, the inexistence of a plan can be a challenge for such planners, since they are not always able to discern the difficulty of finding a solution from its inexistence. The problem of plan existence verification, called planex, is computationally hard. Thus, in 2016, the planning community held for the first time the Unsolvability International Planning Competition (UIPC), which aims to evaluate algorithms on the task of verifying plan existence. The aim of this paper is to propose a new algorithm to solve the planex problem that is based on symbolic model checking approach. The proposed algorithm differs from others based on model checking in two points: (i) it is able to reason about the actions represented in PDDL (Planning Domain Description Language) and; (ii) it is based on the α-CTL logic, whose semantics takes into account the actions responsable for the state transitions. We also evaluate the proposed alorithm over the UIPC planning benchmark problems.

APA, Harvard, Vancouver, ISO, and other styles

9

Bozic, Josip, and Franz Wotawa. "Software Testing: According to Plan!" In 2019 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW). IEEE, 2019. http://dx.doi.org/10.1109/icstw.2019.00028.

Full text

APA, Harvard, Vancouver, ISO, and other styles

10

Opfer, Stephan, Stefan Niemczyk, and Kurt Geihs. "Multi-Agent Plan Verification with Answer Set Programming." In the 3rd Workshop. New York, New York, USA: ACM Press, 2016. http://dx.doi.org/10.1145/3022099.3022104.

Full text

APA, Harvard, Vancouver, ISO, and other styles

Reports on the topic "Plan verification"

1

LOGICON RDA FORT LEAVENWORTH KS. Confederation Verification, Validation, and Accreditation Master Plan (CVVAMP) - Verification Test Plan. Fort Belvoir, VA: Defense Technical Information Center, April 1994. http://dx.doi.org/10.21236/ada289844.

Full text

APA, Harvard, Vancouver, ISO, and other styles

2

Kelley, Christopher Lee, and Brian Thomas Naughton. NRT Design Verification Test Plan. Office of Scientific and Technical Information (OSTI), December 2018. http://dx.doi.org/10.2172/1489535.

Full text

APA, Harvard, Vancouver, ISO, and other styles

3

Mousseau, Vincent Andrew, and Nam Dinh. CASL Verification and Validation Plan. Office of Scientific and Technical Information (OSTI), June 2016. http://dx.doi.org/10.2172/1431322.

Full text

APA, Harvard, Vancouver, ISO, and other styles

4

Crane, Nathan K. Sierra Structural Dynamics Code Verification Plan. Office of Scientific and Technical Information (OSTI), June 2018. http://dx.doi.org/10.2172/1493843.

Full text

APA, Harvard, Vancouver, ISO, and other styles

5

Osborn, Douglas, Ruth Weiner, and Steven Hamp. RADTRAN 5.5 Validation and Verification Plan. Office of Scientific and Technical Information (OSTI), January 2005. http://dx.doi.org/10.2172/1143405.

Full text

APA, Harvard, Vancouver, ISO, and other styles

6

Pointer, William David. STAR-CCM+ Verification and Validation Plan. Office of Scientific and Technical Information (OSTI), September 2016. http://dx.doi.org/10.2172/1335352.

Full text

APA, Harvard, Vancouver, ISO, and other styles

7

Downar, Thomas. VERA-CS Verification & Validation Plan. Office of Scientific and Technical Information (OSTI), February 2017. http://dx.doi.org/10.2172/1360074.

Full text

APA, Harvard, Vancouver, ISO, and other styles

8

Shemon, E., C. Lee, and M. Smith. Verification and Validation Plan for PROTEUS. Office of Scientific and Technical Information (OSTI), October 2014. http://dx.doi.org/10.2172/1159797.

Full text

APA, Harvard, Vancouver, ISO, and other styles

9

Smith, Curtis L., Yong-Joon Choi, and Ling Zou. RELAP-7 Software Verification and Validation Plan. Office of Scientific and Technical Information (OSTI), September 2014. http://dx.doi.org/10.2172/1168648.

Full text

APA, Harvard, Vancouver, ISO, and other styles

10

Ferencz, R. SHARP Structural Mechanics Verification & Validation Plan. Office of Scientific and Technical Information (OSTI), August 2014. http://dx.doi.org/10.2172/1159265.

Full text

APA, Harvard, Vancouver, ISO, and other styles

We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!