Opendata, web and dolomites

H2020 projects about "verification"

The page lists 273 projects related to the topic "verification".

# achronym  title  year 
1 HIPSTER Deployment of high pressure and temperature food processing for sustainable, safe and nutritious foods with fresh-like quality 2015
2 FLEXOP Flutter Free FLight Envelope eXpansion for ecOnomical Performance improvement 2015
3 SYNTECH Synthesis Technologies for Reactive Systems Software Engineers 2015
4 FLARECAST Flare Likelihood and Region Eruption Forecasting 2015
5 INVEST IN-orbit Validation of European Space Technologies 2015
6 Rheform Replacement of hydrazine for orbital and launcher propulsion systems 2015
7 UnCoVerCPS Unifying Control and Verification of Cyber-Physical Systems 2015
8 RePhrase REfactoring Parallel Heterogeneous Resource-Aware Applications - a Software Engineering Approach 2015
9 SCISSOR Security In trusted SCADA and smart-grids 2015
10 CloudSocket Business and IT-Cloud Alignment using a Smart Socket 2015
11 DICE Developing Data-Intensive Cloud Applications with Iterative Quality Enhancements 2015
12 IMMORTAL Integrated Modelling, Fault Management, Verification and Reliable Design Environment for Cyber-Physical Systems 2015
13 TAPPS Trusted Apps for open CPS 2015
14 SPOOC Automated Security Proofs of Cryptographic Protocols: Privacy, Untrusted Platforms and Applications to E-voting Protocols 2015
15 CWASI Coping with water scarcity in a globalized world 2015
16 PAW Automated Program Analysis for Advanced Web Applications 2015
17 SSBD Small Summaries for Big Data 2015
18 OCTAVE Objective Control for TAlker VErification 2015
19 DISTRUCT Structure Theory for Directed Graphs 2015
20 EPC_PLUS Energy Performance Contracting Plus 2015
21 multEE Facilitating Multi-level governance for energy efficiency 2015
22 EEPLIANT Energy Efficiency Complaint Products 2014 2015
23 OntoPerson The Ontology of Personal Identity 2015
24 SignSigma Launching the next generation of mobile and multi-platform signature system based on biometric parameters 2014
25 Ownerchip Digital Rights Management Infrastructure For 3D Printed Artifacts 2014
26 PILOTS Prototyping Internet Lot of Things Software 2014
27 SpeechXRays Multi-channel biometrics combining acoustic and machine vision analysis of speech, lip movement and face 2015
28 EMoGrIS Ecological Modelling of the Greenland Ice Sheet Surface Ecosystem 2016
29 seQureNet Secure information processing in quantum networks 2015
30 SHDS Seismic-resistant Highly Deformable Structures 2015
31 OPERACQC Operational characterization of quantum correlations 2015
32 LV-Pri20 Logic-based Verification of Privacy-Preservation in Europe's 2020 ICT 2015
33 ID_MOBILE Solution to authenticate and read ID documents using mobile devices at point of origin in real-time, eliminating manual handling and providing better, more secure services. 2015
34 RemBAP Remote Building Analytics platform for Utilities to deliver large-scale efficiency to SMEs and commercial portfolios 2015
35 NASTEX Study feasibility and best route to market for telecare solution in Germany and Japan 2015
36 EMInstr Development of a New Wavelength Scanning Interferometer for Embedded Metrology 2015
37 LeakFree Development of a reliable quality control system using advanced Non-Destructive Evaluation (NDE) technologies for the production environment of leak-free fuel tanks from plastics and composites 2015
38 HIQ-Home Advanced System for Eco, Energy and Cost Efficient, Comfortable and Secure Smart Homes 2015
39 CiWater Feasibility study for water leakage detector CiWater 2015
40 SEDEUF Sedicii Innovative Authentication 2014
41 iBUS iBUS – an integrated business model for customer driven custom product supply chains 2015
42 SITEX-II Sustainable network for Independent Technical EXpertise of radioactive waste disposal - Interactions and Implementation 2015
43 CIRDvalid CIRDvalid – Clinical validation of a set of 11 biomarkers and a system of diagnostic and therapeutical devices for the resuscitation of patients suffering from long-lasting cardiac arrest 2015
44 TheCityGame pilot TheCityGame; Feasibility study and mini-pilots 2015
45 TEST-IC Integrated Cicuit Testing Software 2015
46 Excalibur 2.0 Revolutionary trustworthy platform for seamless authentication of Internet users 2015
47 smaRtAIL Smart protective coatings on classic materials for a new generation of ecologically sustainable ‛green’ railway vehicles 2015
48 EcoContainerCleaner Proving the IBC Robotics container cleaning system as an economic, climate- and environmentally-friendly and safe contribution to the EU transport system in order to disrupt the global market 2015
49 AVS-ISS Analysis, Verification, and Synthesis for Infinite-State Systems 2015
50 AI4REASON Artificial Intelligence for Large-Scale Computer-Assisted Reasoning 2015
51 LEONID Lung cancEr fusiOn geNes: a new dIagnostic Device 2015
52 LASSO Learning, Analysis, SynthesiS and Optimization of Cyber-Physical Systems 2015
53 SESAME thermal hydraulics Simulations and Experiments for the Safety Assessment of MEtal cooled reactors 2015
54 TOPAs Tools for cOntinuous building Performance Auditing 2015
55 ZERO-PLUS Achieving near Zero and Positive Energy Settlements in Europe using Advanced Energy Technology 2015
56 RoVi Robotic manipulator with visuo-haptic sensing 2015
57 ECO-LOGIC GREEN FARM Design of an agricultural greenhouse for intensive growing of microalgae in fresh / sea water with a syngas production plant and organic farming of chickens and pigs outdoors. 2015
58 ReconCell A Reconfigurable robot workCell for fast set-up of automated assembly processes in SMEs 2015
59 SPIRYT Platform for envIRonmentallY Sustainable Textile processing, to be replicated worldwide in the fashion industry Feasibility Study 2015
60 BREAKBEN Breaking the Nonuniqueness Barrier in Electromagnetic Neuroimaging 2016
61 SAFEPOWER Safe and secure mixed-criticality systems with low power requirements 2016
62 PHANTOM Cross-Layer and Multi-Objective Programming Approach for Next Generation Heterogeneous Parallel Computing Systems 2015
63 SuperHD-ToolBox Next generation Image Processing Engine to support the creation, processing, deployment and transmission of super high definition images for large format ‘smart’ digital displays and signage 2015
64 CoVeCe Coinduction for Verification and Certification 2016
65 Bcl-Inhib Discovery of Bcl-3 inhibitors as Potential Chemopreventive Agent for skin cancer 2015
66 IMAGE Innovative Methodologies and technologies for reducing Aircraft noise Generation and Emission 2016
67 GAP60PTP Gap Waveguides for Point-To-Point Wireless Links at 60 GHz and beyond 2016
68 IDENTITY Computer Vision Enabled Multimedia Forensics and People Identification 2016
69 INTAS INdustrial and tertiary product Testing and Application of Standards 2016
70 MSTYR15 Market Surveillance Action for Tyres 2015 2016
71 TAPAS Tools for Assessment and Planning of Aquaculture Sustainability 2016
72 SOPHIA Securing Software against Physical Attacks 2016
73 GvHDCure Understanding the dynamics of the immune system to cure graft-versus-host disease (GvHD). 2016
74 BLADEOUT CROR Blade-Out Impact Simulations and Sample Manufacturing 2016
75 HYBOCOMIX Hydrogen bonds in diblock copolymer/ homopolymer melt 2016
76 ProFoundNet Probabilistic Foundations for Networks 2016
77 CIRCUS An end-to-end verification architecture for building Certified Implementations of Robust, Cryptographically Secure web applications 2016
78 PROCEED PROCess-based sEamless development of useful Earth system predictions over lanD 2017
79 TOPACT Topological defects in nematic liquid crystals of active colloidal rods 2016
80 DDM-GNI Discrete Dirac Mechanics and Geometric Numerical Integration Methods for Plasma Physics 2016
81 DELMIT Maintaining the Human Mitochondrial Genome 2016
82 AMASS Architecture-driven, Multi-concern and Seamless Assurance and Certification of Cyber-Physical Systems 2016
83 PROTECT Pervasive and UseR Focused BiomeTrics BordEr ProjeCT 2016
84 CITADEL Critical Infrastructure Protection using Adaptive MILS 2016
85 iEcoH Integrating Ecosystem Heterogeneity to Enhance ESM Performance 2016
86 GenoPri Quantifying and Protecting the Privacy of Genomic Data 2016
87 INFRASTAR Innovation and Networking for Fatigue and Reliability Analysis of Structures - Training for Assessment of Risk 2016
88 TUNE Testing the Untestable: Model Testing of Complex Software-Intensive Systems 2016
89 Quartzene Quartzene - Market uptake of the world's first low cost aerogel-type nano-material 2016
90 ENABLE-S3 European Initiative to Enable Validation for Highly Automated Safe and Secure Systems 2016
91 SafeCOP Safe Cooperating Cyber-Physical Systems using Wireless Communication 2016
92 POWVER Power to the People. Verified. 2016
93 PROPCONEL More electric, advanced hydromechanics propeller control components. 2016
94 BISS Biometric Identification Security System 2016
95 3D-Forensics/FTI Mobile high-resolution 3D-Scanner and 3D data analysis for forensic evidence fast track to innovation 2016
96 LIBI Lightning Interception Blade Implant 2016
97 NLPRO Natural Language Programming: Turning Text into Executable Code 2016
98 EntangleGen Entanglement Generation in Universal Quantum Dynamics 2016
99 Paybon Paybon - disrupting the massive global meal voucher market with a smartphone delivery system 2016
100 DigiSCAN DigiSCAN 2016
101 ZAero Zero-defect manufacturing of composite parts in the aerospace industry 2016
102 EJDFoodSci Food science, technology and engineering - European Joint Doctorate training towards knowledge, skills and mobility 2016
103 SCORE Score board of competitiveness of European transport manufacturing industries 2016
104 RADIAN Facilitating Collaboration in ReseArch and Development to Foster Further Innovation in European AeroNautics 2016
105 AtmoHealth A pan-national collaborative analytics platform for the exploration and improvement of population health 2016
106 COEMS Continuous Observation of Embedded Multicore Systems 2016
107 CPSwarm CPSwarm 2017
108 PJ22 SEabird PJ22:Validation and Demonstration Engineering 2016
109 SIROM Standard Interface for Robotic Manipulation of Payloads in Future Space Missions 2016
110 ESROCOS European Space Robot Control Operating System 2016
112 ShipTest Fully automated laser guided inspection robot for weld defect detection on ship hulls 2016
113 SAFE4RAIL SAFE architecture for Robust distributed Application Integration in roLling stock 2016
114 SPECIAL Scalable Policy-awarE linked data arChitecture for prIvacy, trAnsparency and compLiance 2017
115 CERBERO Cross-layer modEl-based fRamework for multi-oBjective dEsign of Reconfigurable systems in unceRtain hybRid envirOnments 2017
116 SMART Strong Modular proof Assistance: Reasoning across Theories 2017
117 ECSASDPE European and Chinese Platform for Stacked Aero-Structure Drilling Process and Equipment 2017
118 PVCLOUD Innovative Cloud-Based PV Workflow for Semiconductor Foundries 2017
119 CPB 4.0 Worldwide unique, resource-conserving and energy-efficient treatment of industrial wastewater polluted by oils and heavy metals for implementing the EU Water Framework Directive in a company 2017
120 Force Servo Force Servo 2017
121 AMICI Accelerator and Magnet Infrastructure for Cooperation and Innovation 2017
122 RACCOON A Rigorous Approach to Consistency in Cloud Databases 2017
123 SECOMP Efficient Formally Secure Compilers to a Tagged Architecture 2017
124 MedEye Accelerated market launch of MedEye, a plug-and-play medication safety solution 2017
125 Matryoshka Fast Interactive Verification through Strong Higher-Order Automation 2017
126 POPSTAR Reasoning about Physical properties Of security Protocols with an Application To contactless Systems 2017
127 Mathador Type and Proof Structures for Concurrent Software Verification 2017
128 AgroRadar Using Copernicus Earth Observation radar data to disrupt Precision Agriculture 2017
129 MIP My Impact Portal 2017
130 SWORD Security Without Obscurity for Reliable Devices 2017
131 Bendsai Feasibility study for Bendsai – world’s first standardised machine tending robot 2017
132 Elbee Elbee, a worldwide unique drive-from-wheelchair vehicle 2017
133 ONCOmetENHANCERS Elucidating the Role of Enhancer Methylation Variation in Cancer and Developing Enhancer-based Markers and Targets for Precision Medicine 2017
134 LocationWise LocationWise Payment Card Validation: A cloud based location verification system that willsignificantly lower cost of payment card cyber security 2017
135 MedRoute On the route of multiculturalism(s). Marking and hybridizing identities in the late 17th and early 18th centuries Mediterranean port cities 2017
136 PADECOT PArtial Differential Equation model-based COntrol of Traffic flow 2017
137 HIPPOCRATE Hybrid Imaging of PET and PrOmpt gamma for preCision RAnge- and biological- guidance in proton ThErapy 2017
138 Mofina Mobile Filovirus Nucleic Acid Test – Sofia ref.: 115848 2015
139 SMILE SMart mobILity at the European land borders 2017
140 TestConCert TestConCert is a future-proof fusion of automation technology using IoT communication strategies with flight test bench control and test management from requirement up to the certification document. 2017
141 GREENTOP GREENTOP - Gamification of cRowdcomputing to ENhance EarTh Observation data Processing 2017
142 AccessVote The First European Platform for Accesible Paper Vote Cast 2017
143 SIRMIO Small animal proton Irradiator for Research in Molecular Image-guided radiation-Oncology 2017
145 ALEXANDRIA Large-Scale Formal Proof for the Working Mathematician 2017
146 BREEZE HyBRid photocatalyitic air filtEr for rEmoving pollutants and odours from aircraft cabin ZonE 2017
147 EnergySequence Building data scientist to help us dive deep into the very large amount structured time series data pertaining to building energy use 2017
148 HYDRO_RIG 3G Development of a hydraulic installation for electro-hydraulic integration of hybrid surface actuation systems in on-ground rigs 2017
149 5GTANGO 5G Development and validation platform for global industry-specific network services and Apps 2017
150 5G-MEDIA Programmable edge-to-cloud virtualization fabric for the 5G Media industry 2017
151 BlockchainKYC Blockchain-based, 100% automated KYC (Know Your Customer) service 2017
152 MetaTox-HS Advanced Solutions for High Sensitivity Metabolism and Toxicity Assays 2017
153 Z-BRE4K Strategies and Predictive Maintenance models wrapped around physical systems for Zero-unexpected-Breakdowns and increased operating life of Factories 2017
154 ARS Autonomous Robotic Surgery 2017
155 A-FOD SAFER and TIMELY FLIGHTS with Automated Foreign Object Detection System 2017
156 EEPLIANT2 Energy Efficiency Compliant Products 2 2017
157 Spine Open source toolbox for modelling integrated energy systems 2017
158 CORNET Provably Correct Networks 2018
159 AV-SMP Algorithmic Verification of String Manipulating Programs 2017
160 FloatMastBlue Offshore Wind Energy Cost Reduction by an Innovative Floating Met Mast Platform 2017
161 SVIS Supervised Verification of Infinite-State Systems 2018
162 CIRCASA Coordination of International Research Cooperation on soil CArbon Sequestration in Agriculture 2017
163 RealTide Advanced monitoring, simulation and control of tidal devices in unsteady, highly turbulent realistic tide environments 2018
164 MUSE Multi-perspective Ultrasound Strain Imaging & Elastography 2018
165 eDREAM eDREAM - enabling new Demand REsponse Advanced, Market oriented and Secure technologies, solutions and business models 2018
166 Smart-Trust Smart Trust: Secure Mobile ID for Trusted Smart Borders 2018
167 EVOAtm Evolutionary ATM. A modelling framework to assess the impact of ATM evolutions 2018
168 PISCES PISCES - Reducing bycatch – Saving fishing crews money – Facilitating complianceEnabling the long-term sustainability of the fishing industry 2017
169 DyVirt Dynamic virtualisation: modelling performance of engineering structures 2018
170 Magnetic Fluids A Key Enabling Technology for metals recovery and water management based on functionalized magnetic particles for galvanic industry 2018
171 NEXTTRIP NEXT generation civil Tilt Rotor Interactional aerodynamic tail oPtimisation 2018
172 ASTRO Assembly Tooling for the Fast Rotorcraft Project 2018
173 SISCAN Single-shot dispersion-scan device for the characterization of ultrashort laser pulses 2018
174 ThromboSLE Accurate assessment of thrombosis risk in systemic lupus erythematosus 2018
175 ACOSVA Advanced Characterization of Organic-rich Shales using Vapour Adsorption 2018
176 Browsec Foundations and Tools for Client-Side Web Security 2018
177 CAPPERAM Contrast Agents for Protontherapy PET Range Monitoring 2018
178 MQC Maintaining Quantum Coherence for Quantum Information Applications 2018
179 BPR4GDPR Business Process Re-engineering and functional toolkit for GDPR compliance 2018
180 ION Information Diffusion on Networks 2019
181 VeSPA Verification and Specification through Progress Abstractions 2018
182 ARIAS Advanced Research Into Aeromechanical Solutions 2018
183 PaVeS Parametrized Verification and Synthesis 2018
184 FRAPPANT Formal Reasoning About Probabilistic Programs: Breaking New Ground for Automation 2018
186 PureWater Feasibility study for industrial scale-up of the novel high-efficiency biocompatible and easy-to-operate water treatment membrane. 2018
187 Triboconditioning Development of an innovative and cost-efficient process for friction and wear reduction 2018
188 Qosmology Quantum Effects in Early Universe Cosmology 2018
189 FREESPACE Free-space optical transmission links with unprecedented receiver sensitivity 2018
190 AST Automatic System Testing 2019
191 TESLA Living on the Edge: Tunable Electronics from Edge Structures in 1D Layered Materials 2019
192 CEWASTE Voluntary certification scheme for waste treatment 2018
193 MIDAS Modular and Integrated Digital Probe for SAT Aircraft Air Data System 2018
194 SPARKs Static Analysis for the VErification of Spreadsheets 2019
195 SocialTruth Open Distributed Digital Content Verification for Hyper-connected Sociality 2018
196 QualiChain Decentralised Qualifications' Verification and Management for Learner Empowerment, Education Reengineering and Public Sector Transformation 2019
197 BEACON Boosting Agricultural Insurance based on Earth Observation data 2019
198 TecALSens Advanced Load Sensing technology for Aerospace Application 2018
199 IDEN Innovative Distributed Electrical Network 2018
200 BinCola Evaluation of the Benefits of innovative Concepts of laminar nacelle and HTP installed on a business jet configuration 2018
201 PROVENANCE Providing Verification Assistance for New Content 2018
202 SARMENTI Smart multisensor embedded and secure system for soil nutrient and gaseous emission monitoring 2019
203 ADVANCE Addressing Verification and Validation Challenges in Future Cyber-Physical Systems 2019
204 CroP Leveraging predictive technologies to increase operational & cost efficiencies in the European cargo claims value chain. 2018
205 VERICOMP Foundations of Verifiable Computing 2019
206 PASS Program Analysis for Safe and Secure Software Evolution 2019
207 VerifiedID The online platform for Identity Verification that gives back personal data ownership to the citizens 2018
208 SPHINX A Universal Cyber Security Toolkit for Health-Care Industry 2019
210 EUNOMIA User-oriented, secure, trustful & decentralised social media 2018
211 UNICORE A Common Code Base and Toolkit for Deployment of Applications to Secure and Reliable Virtual Execution Environments 2019
212 justITSELF Just-in-time Self-Verification of Autonomous Systems 2019
213 CerQuS Certified Quantum Security 2019
214 LOQR Digital Identity Management Platform: Verifying, Authenticating and Managing the end-to-end Digital Identity Lifecycle 2019
215 Smart Certificate The trusted solution for issuing certified documents to the blockchain, checkable in just a click 2018
216 DIAPASoN Differential Program Semantics 2019
217 NG-EGSE Next Generation Modular EGSE Architecture 2019
218 QAFA Quantum Algorithms from Foundations to Applications 2019
219 BIO2G Technology for 2G biofuel and biosolvents production verified in a pilot plant 2019
220 NEWTRAL First real-time fact-checking tool to fight against the fake news and disinformation 2019
221 Eddie Eddie – smart neurorehabilitation software 2019
222 ACCENTO ACCENTO (Active Clearence Contol dEsigN and characTerizatiOn). Advanced investigations on different Low Pressure Turbine Active Clearance Control (LPTACC) system by means of CFD and experiments. 2019
224 SOMA Social Observatory for Disinformation and Social Media Analysis 2018
225 FIVER Innovative solution for FMS computed trajectories validation by means of pilot actions emulation, comparison with PANS-OPS criteria and data mining techniques. 2018
227 GATE4RAIL GNSS Automated Virtualized Test Environment for RAIL 2018
228 EngPTC2 Exploring new technologies for the next generation pulse tube cryocooler below 2K 2019
229 FUN2MODEL From FUnction-based TO MOdel-based automated probabilistic reasoning for DEep Learning 2019
230 GREEN-FRC Fibre Reinforced Concrete with Recycled and Waste Materials Optimised for Improved Sustainability of Urban Projects 2020
231 CONPARA Control parametric resonance of wave energy conversion systems 2019
232 ScalableControl Scalable Control of Interconnected Systems 2019
233 EEPLIANT3 Energy Efficiency Compliant Products 3 2019
234 D4FLY Detecting Document frauD and iDentity on the fly 2019
235 ALGOCERT Devising certifiable and explainable algorithms for verification and planning in cyber-physical systems 2019
236 ENSMOV Enhancing the Implementation and Monitoring and Verification practices of Energy Saving Policies under Article 7 of the EED 2019
237 QualDeEPC High-quality Energy Performance Assessment and Certification in Europe Accelerating Deep Energy Renovation (QualDeEPC) 2019
238 SMEmPower Efficiency A holistic framework for Empowering SME's capacity to increase their energy efficiency 2019
239 CLS Technology to use any standard microscope for correlative imaging 2019
240 ELEMENT Effective Lifetime Extension in the Marine Environment for Tidal Energy 2019
241 WhiteMech White-Box Self-Programming Mechanisms 2019
242 FinEERGo-Dom Financing scheme for Energy Efficiency and Renewable energy Guaranteed in Deep renovations of building stock 2019
243 5G-VICTORI VertIcal demos over Common large scale field Trials fOr Rail, energy and media Industries 2019
244 iv4XR Intelligent Verification/Validation for Extended Reality Based Systems 2019
245 CUSTOMER Customizable Embedded Real-Time Systems: Challenges and Key Techniques 2019
246 5G CONNI Private 5G Networks for Connected Industries 2019
247 HIPERSIM Automated, Fast Generation of High-Performance Instruction Set Simulators for Microprocessors 2019
248 DATACONTROL DataControl: Reliable, Secure and Comprehensive cloud backup as a service solution 2019
249 IPUD An Implantable Peritoneal Ultrafiltration Device that actively and continuously prevents fluid overload in congestive heart failure patients 2019
250 MechanoGPER Development of GPER agonists as a novel therapeutic option for pancreatic cancer 2019
251 SafeNet Safe Networks using P4 Programs 2019
252 Mag-ID Magnetic identification 2019
253 VAPLCS Verification-Aware Programming Language Concurrency Semantics 2020
254 TABASCO Testing Advanced Basic Structures with novel Low-Cost Solutions 2019
256 SmaCS Smart Cabin System for cabin readiness 2019
257 AS-DISCO AS-DISCO - Audio Suite for Disruptive Cockpit Demonstrator 2019
258 FunBlocks Fundamental Building Blocks – Understanding plasticity in complex crystals based on their simplest, intergrown units 2020
259 SafeNcy SafeNcy - the safe emergency trajectory generator 2019
260 ARiAT Advanced Reasoning in Arithmetic Theories 2020
261 AVANGARD Advanced manufacturing solutions tightly aligned with business needs 2019
262 Bug-Flash Coherent Back-Lasing from Atmospheric Insects 2020
263 ADMORPH Towards Adaptively Morphing Embedded Systems 2020
264 bio-T Enabling medical device vendors to realize the potential of the data collectible by their devices 2019
265 Dezyne Enterprise The easiest way to build complete, correct and consistent embedded software for cyberphysical systems 2019
266 eBORDER Secure and Wireless Multimodal Biometric Scanning Device for Passenger Verification Targeting Land and Sea Border Control 2020
267 OPTIMA cOmmunication Platform for TraffIc ManAgement demonstrator 2019
268 Daego Secure, reliable machine learning based technology platform for the creation and authentication of Digital Identities to enable safe digital transactions across Europe 2019
269 ForM-SMArt Formal Methods for Stochastic Models: Algorithms and Applications 2020
270 AVeriTeC Automated Verification of Textual Claims 2020
271 LEAFHOUND Leader-follower hybrid control and task planning for multi-agent systems under spatiotemporal logic specifications 2020
272 TNT Truth-not-Trust 2020
273 BLaSt Better Languages for Statistics: foundations for non-parametric probabilistic programming 2020